Make scripts/savecore create the core directory
authorMarkus Armbruster <armbru@pond.sub.org>
Wed, 26 Oct 2011 16:55:27 +0000 (18:55 +0200)
committerMarkus Armbruster <armbru@pond.sub.org>
Thu, 29 Dec 2011 10:47:04 +0000 (11:47 +0100)
scripts/savecore

index 9540da63c031e4a9cb88bd6b16da23751930d1ec..8057a07414a029685b1b43d4e619e954630d862c 100755 (executable)
@@ -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