aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xmain2
-rw-r--r--production-main2
2 files changed, 2 insertions, 2 deletions
diff --git a/main b/main
index 5820b1cd..fb3a1e03 100755
--- a/main
+++ b/main
@@ -5,4 +5,4 @@ here=$(dirname $(realpath $0))
make GUILE="$GUILE" go_files
-exec $GUILE -c '((@ (calp main) main) (command-line))' "$@"
+exec $GUILE -e '(@ (calp main) main)' "$@"
diff --git a/production-main b/production-main
index 69f1bc06..69939def 100644
--- a/production-main
+++ b/production-main
@@ -1,3 +1,3 @@
#!/bin/bash
GUILE=${GUILE:-guile}
-exec "$GUILE" -c '((@ (calp main) main) (command-line))' "$@"
+exec "$GUILE" -e '(@ (calp main) main)' "$@"