No need for this

msoos · Jul 18, 2024 · 6a5b6db · 6a5b6db
1 parent 2214042
commit 6a5b6db
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/python-wheel-build.yml b/.github/workflows/python-wheel-build.yml
@@ -50,7 +50,7 @@ jobs:
             git clone https://github.com/meelgroup/cadical.git &&
             cd cadical &&
             git checkout add_dynamic_lib &&
-            CXXFLAGS=-fPIC ./configure ---competition &&
+            CXXFLAGS=-fPIC ./configure &&
             make -j4 &&
             cd .. &&
             git clone https://github.com/meelgroup/cadiback.git &&