From ab3993faa084a284ae37f5b736ba65079ebeccbd Mon Sep 17 00:00:00 2001 From: Holger Vogt Date: Fri, 23 Dec 2022 16:48:54 +0100 Subject: [PATCH] Add --enable-osdi to Cygwin build --- compile_cyg_make_short_check_64.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/compile_cyg_make_short_check_64.sh b/compile_cyg_make_short_check_64.sh index c56ef1822..1f77f265a 100644 --- a/compile_cyg_make_short_check_64.sh +++ b/compile_cyg_make_short_check_64.sh @@ -38,7 +38,7 @@ cd release64_cyg if [ $? -ne 0 ]; then echo "cd release64_cyg failed"; exit 1 ; fi echo # You may add --enable-adms to the following command for adding adms generated devices -../configure --with-x=yes --with-readline=yes --disable-debug --enable-cider --enable-openmp --enable-xspice --enable-shortcheck CFLAGS="-O2 -m64" LDFLAGS="-s -m64" +../configure --with-x=yes --with-readline=yes --disable-debug --enable-cider --enable-openmp --enable-xspice --enable-osdi --enable-shortcheck CFLAGS="-O2 -m64" LDFLAGS="-s -m64" #../configure --with-x=no --with-readline=yes --disable-debug --enable-xspice --enable-cider --enable-openmp if [ $? -ne 0 ]; then echo "../configure failed"; exit 1 ; fi