Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
tuned;
authorwenzelm
Wed, 09 Mar 2016 13:12:51 +0100
changeset 62566 fe02dcee9493
parent 62565 cd3ea66fe2ce
child 62567 cb4e6ca06505
tuned;
Admin/bash_process/build file | annotate | diff | comparison | revisions 
--- a/Admin/bash_process/build	Tue Mar 08 21:08:50 2016 +0100
+++ b/Admin/bash_process/build	Wed Mar 09 13:12:51 2016 +0100
@@ -37,15 +37,15 @@
 
 case "$TARGET" in
   x86_64-linux | x86_64-darwin)
-    cc -m64 bash_process.c -o "$TARGET/bash_process"
+    cc -Wall -m64 bash_process.c -o "$TARGET/bash_process"
     ;;
   x86-linux | x86-darwin)
-    cc -m32 bash_process.c -o "$TARGET/bash_process"
+    cc -Wall -m32 bash_process.c -o "$TARGET/bash_process"
     ;;
   x86-cygwin)
-    cc bash_process.c -o "$TARGET/bash_process.exe"
+    cc -Wall bash_process.c -o "$TARGET/bash_process.exe"
     ;;
   *)
-    cc bash_process.c -o "$TARGET/bash_process"
+    cc -Wall bash_process.c -o "$TARGET/bash_process"
     ;;
 esac
isabelle