Update build.sh

conjure-cp · Nov 20, 2023 · d9b573f · d9b573f
1 parent eab087c
commit d9b573f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/solvers/minion/build.sh b/solvers/minion/build.sh
@@ -14,7 +14,7 @@ if [ -d vendor/build ]; then
 else
  mkdir -p vendor/build
  cd vendor/build
- python3 ../configure.py --lib 
+ python3 ../configure.py --lib --quick
 fi
 
 echo "------ BUILD STEP ------"