diff options
Diffstat (limited to 'production-main')
| -rw-r--r-- | production-main | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/production-main b/production-main new file mode 100644 index 00000000..44db76e5 --- /dev/null +++ b/production-main @@ -0,0 +1,2 @@ +#!/bin/bash +exec $(which guile) -c '((@ (calp main) main) (command-line))' "$@" |