# HG changeset patch # User wenzelm # Date 1611688616 -3600 # Node ID 6823dddf9cf1df1562ead49d1826f07f43df4e1f # Parent 02973da6180abcc52ddd84f99ca382956565d2f2 prefer dynamic linking: platform is always x86_64 (see 373dcdd363dc); diff -r 02973da6180a -r 6823dddf9cf1 Admin/Linux/build --- a/Admin/Linux/build Tue Jan 26 20:06:38 2021 +0100 +++ b/Admin/Linux/build Tue Jan 26 20:16:56 2021 +0100 @@ -1,3 +1,3 @@ #!/usr/bin/env bash -gcc -static -m64 -Wall Isabelle.c -o Isabelle +gcc -m64 -Wall Isabelle.c -o Isabelle