# 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