diff options
Diffstat (limited to 'src/pre-inst-skribilo.in')
| -rwxr-xr-x | src/pre-inst-skribilo.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pre-inst-skribilo.in b/src/pre-inst-skribilo.in index b5bd080..3a5c0d8 100755 --- a/src/pre-inst-skribilo.in +++ b/src/pre-inst-skribilo.in @@ -27,6 +27,6 @@ exec ${GUILE-@GUILE@} -L "@abs_top_srcdir@/src/guile" \ -c " (use-modules (skribilo condition)) -(call-with-skribilo-error-catch +(call-with-skribilo-error-catch/exit (lambda () (apply $main (cdr (command-line)))))" "$@" |