]> granicus.if.org Git - mutt/commitdiff
Sam Roberts reports that some shells do strange things with exit
authorThomas Roessler <roessler@does-not-exist.org>
Fri, 12 May 2000 08:30:04 +0000 (08:30 +0000)
committerThomas Roessler <roessler@does-not-exist.org>
Fri, 12 May 2000 08:30:04 +0000 (08:30 +0000)
states.

gen_defs

index 1983f57b5634e703b52874b0f8c1cf2a8f25b2d8..839d646333699352215fb17a8052cc444839e2df 100755 (executable)
--- a/gen_defs
+++ b/gen_defs
@@ -31,3 +31,5 @@ for mode in help defs; do
                echo ''
        fi
 done
+
+exit 0