diff options
Diffstat (limited to 'bin/cl')
-rwxr-xr-x | bin/cl | 18 |
1 files changed, 15 insertions, 3 deletions
@@ -28,7 +28,7 @@ escape_name() { IMPLEMENTATIONS=' abcl allegro -ccl +clozure clasp clisp cmucl @@ -236,8 +236,20 @@ case "$IMPL" in allegro) exit 4 ;; - ccl) - exit 4 + clozure) + set -- -l "$MAIN" "$@" + if [ -n "$IMAGE" ]; then + set -- -I "$IMAGE" "$@" + fi + if [ "$NO_RC" = true ]; then + set -- -n "$@" + fi + if [ "$VERBOSE" = false ]; then + set -- -Q "$@" + else + set -x + fi + exec ccl "$@" ;; clasp) exit 4 |