diff --git a/scripts/savecore b/scripts/savecore index 9540da63..8057a074 100755 --- a/scripts/savecore +++ b/scripts/savecore @@ -61,6 +61,7 @@ test -r "$core_name" tstamp=`/bin/date +%Y-%m-%d-%H:%M` saved_core=$core_dir/core-$tstamp +mkdir -p $core_dir if [ `df -kP $core_dir | awk 'NR!=1 { print $4 }'` -lt "$space_low" ] then rm -f $core_name; exit fi