if there is a core dump, then save it

diff --git a/tests/TESTrun.sh b/tests/TESTrun.sh
index 07bad6cbfa4138c4e11bc4a6493d1f4a5809475a..98e644bfa2bc42d29f2dc6fb97b087614cadeb9d 100755 (executable)
--- a/tests/TESTrun.sh
+++ b/tests/TESTrun.sh
@@ -34,6 +34,9 @@ runSimpleTests()
       failed=`expr $failed + 1`
       echo $failed >.failed
     fi
+    if [ -d COREFILES ]; then
+        if [ -f core ]; then mv core COREFILES/$name.core; fi
+    fi
     [ "$only" != "" -a "$name" = "$only" ] && break
   done
   # I hate shells with their stupid, useless subshells.