Merge pull request #93 from conjure-cp/niklasdewally-patch-1

Build minion --quick
conjure-cp · Nov 20, 2023 · ec21ebd · ec21ebd
2 parents eab087c + d9b573f
commit ec21ebd
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 ------"