diff options
-rwxr-xr-x | main | 2 | ||||
-rw-r--r-- | production-main | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -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)' "$@" |