aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/org/euandre/queue.scm1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/org/euandre/queue.scm b/src/org/euandre/queue.scm
index 43c60af..858b68f 100644
--- a/src/org/euandre/queue.scm
+++ b/src/org/euandre/queue.scm
@@ -1895,6 +1895,7 @@ SetEnv GIT_CONFIG_GLOBAL=/etc/gitconfig")))
(list
#:configure-flags
#~(list
+ "--disable-option-checking"
"--disable-shared"
"--enable-static"
"--enable-editline"