diff options
author | Jim Blandy <jimb@red-bean.com> | 1997-05-16 08:07:35 +0000 |
---|---|---|
committer | Jim Blandy <jimb@red-bean.com> | 1997-05-16 08:07:35 +0000 |
commit | 8e56830978bd08b1f1aa7cb4eef442002490092c (patch) | |
tree | 5995b7f69b08737621e535ebe56ebe392701c6ee /libguile/script.c | |
parent | 3d781d4935e8eff2dbca3ba292b5f8667d7e4c31 (diff) | |
download | guile-8e56830978bd08b1f1aa7cb4eef442002490092c.tar.gz |
* script.c (scm_shell_usage): Pass FATAL to exit. There's no
reason not to give the user the option.
Diffstat (limited to 'libguile/script.c')
-rw-r--r-- | libguile/script.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libguile/script.c b/libguile/script.c index ddeeedf6c..84e882517 100644 --- a/libguile/script.c +++ b/libguile/script.c @@ -563,7 +563,7 @@ scm_shell_usage (int fatal, char *message) scm_usage_name); if (fatal) - exit (1); + exit (fatal); } |