diff --git a/bin/mlton-script b/bin/mlton-script index 2518118..4a34675 100644 --- a/bin/mlton-script +++ b/bin/mlton-script @@ -131,6 +131,7 @@ doit "$lib" \ -target-link-opt freebsd '-L/usr/local/lib/' \ -target-link-opt aix '-maix64' \ -target-link-opt ia64 "$ia64hpux" \ + -target-link-opt linux '-Wl,-znoexecstack' \ -target-link-opt mingw \ '-lws2_32 -lkernel32 -lpsapi -lnetapi32 -lwinmm' \ -target-link-opt mingw '-Wl,--enable-stdcall-fixup' \