From b84ac9ecdfeef6966d03e9dfcad259c7997067fa Mon Sep 17 00:00:00 2001 From: Holger Vogt Date: Fri, 12 Jul 2024 15:20:19 +0200 Subject: [PATCH] Options are now included --- compile_linux_dist.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compile_linux_dist.sh b/compile_linux_dist.sh index fb49f61c1..c84f34bc0 100755 --- a/compile_linux_dist.sh +++ b/compile_linux_dist.sh @@ -27,7 +27,7 @@ if [ $? -ne 0 ]; then echo "cd release failed"; exit 1 ; fi echo "configuring for 64 bit release" echo -../configure --with-x --enable-xspice --enable-cider --with-readline=yes --enable-openmp --enable-osdi --disable-debug CFLAGS="-m64 -O2" LDFLAGS="-m64 -s" +../configure --with-x --enable-cider CFLAGS="-m64 -O2" LDFLAGS="-m64 -s" if [ $? -ne 0 ]; then echo "../configure failed"; exit 1 ; fi