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