fix 69eca5c1d7, source tomb source was exiting

2024-11-05 04:47:56 +00:00 · 2011-10-30 19:50:33 +01:00 · 2011-10-30 19:50:33 +01:00 · f9f8b16a4d
commit f9f8b16a4d
parent 1b4c08e904
1 changed files with 3 additions and 1 deletions
--- a/src/tomb
+++ b/src/tomb
@ -1374,4 +1374,6 @@ main() {

 check_bin
 main $@
-exit $?
+if [[ $? != 0 ]]; then #this "if" seems useless, but avoid source tomb source from exiting
+    exit $?
+fi