summarylogtreecommitdiffstats
path: root/wscript.config
diff options
context:
space:
mode:
Diffstat (limited to 'wscript.config')
-rw-r--r--wscript.config1
1 files changed, 1 insertions, 0 deletions
diff --git a/wscript.config b/wscript.config
index 175764cc556..bc0c882bc4a 100644
--- a/wscript.config
+++ b/wscript.config
@@ -5,3 +5,4 @@ LLVM_CONFIG_BINARY = '/opt/llvm13/bin/llvm-config'
DEBUG_OPTIONS = ["DEBUG_RELEASE",
"DEBUG_BCLASP_LISP",
"DEBUG_CCLASP_LISP"]
+