diff options
Diffstat (limited to 'src')
| -rwxr-xr-x | src/run.bash | 3 |
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 |