From d9b573fe2151409f6f2b6aa9e7bf50d0a7b172d3 Mon Sep 17 00:00:00 2001
From: Niklas Dewally <niklas@dewally.com>
Date: Mon, 20 Nov 2023 11:53:42 +0000
Subject: [PATCH] Update build.sh

---
 solvers/minion/build.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/solvers/minion/build.sh b/solvers/minion/build.sh
index fb85ecd73..2bac9d9ef 100755
--- 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 ------"