diff options
Diffstat (limited to '')
| -rw-r--r-- | src/org/euandre/queue.scm | 1 |
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" |