diff options
Diffstat (limited to 'production-main')
| -rw-r--r-- | production-main | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/production-main b/production-main index 44db76e5..69f1bc06 100644 --- a/production-main +++ b/production-main @@ -1,2 +1,3 @@ #!/bin/bash -exec $(which guile) -c '((@ (calp main) main) (command-line))' "$@" +GUILE=${GUILE:-guile} +exec "$GUILE" -c '((@ (calp main) main) (command-line))' "$@" |