Sophie

Sophie

distrib > Fedora > 13 > i386 > media > updates-src > by-pkgid > 8858200baecff9b802b48e93aaaf7262 > files > 2

mlton-20100608-2.fc13.src.rpm

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'      \