From 1086387f8bfdcc1ef85e0e8dff5dcd4338521560 Mon Sep 17 00:00:00 2001 From: Markus Armbruster Date: Wed, 26 Oct 2011 18:55:27 +0200 Subject: [PATCH] Make scripts/savecore create the core directory --- scripts/savecore | 1 + 1 file changed, 1 insertion(+) diff --git a/scripts/savecore b/scripts/savecore index 9540da63c..8057a0741 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 -- 2.43.0