aboutsummaryrefslogtreecommitdiff
path: root/src/run.bash
diff options
context:
space:
mode:
Diffstat (limited to 'src/run.bash')
-rwxr-xr-xsrc/run.bash3
1 files changed, 3 insertions, 0 deletions
diff --git a/src/run.bash b/src/run.bash
index 9f1947c1da..c13eb22189 100755
--- a/src/run.bash
+++ b/src/run.bash
@@ -5,6 +5,9 @@
set -e
+# no core files, please
+ulimit -c 0
+
xcd() {
echo
echo --- cd $1