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.h | |
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.h')
0 files changed, 0 insertions, 0 deletions