Admin/Linux/build
changeset 71547 373dcdd363dc
parent 54313 da2e6282a4f5
--- a/Admin/Linux/build	Sun Dec 22 16:19:57 2019 +0100
+++ b/Admin/Linux/build	Mon Dec 23 15:24:14 2019 +0100
@@ -1,4 +1,3 @@
 #!/usr/bin/env bash
 
-cc -static -m32 Isabelle.c -o Isabelle
-
+gcc -static -m64 -Wall Isabelle.c -o Isabelle