From 5925a2ecc989ff0ffa25d087d6e8402ebfa660d8 Mon Sep 17 00:00:00 2001 From: Koji buildservice Date: Sep 09 2015 12:49:07 +0000 Subject: mash_run.sh : modify pid file path --- diff --git a/scripts/create_sig.sh b/scripts/create_sig.sh index 3c57357..94e974d 100755 --- a/scripts/create_sig.sh +++ b/scripts/create_sig.sh @@ -198,7 +198,7 @@ do # END bootstrap for scl # Other repo can be added here if needed in the future # if [ "x${SIGNAME}" == "xABC" ] - # Let's use $SIGNAME$DIST-bootstrap to be consitent + # Let's use $SIGNAME$DIST-bootstrap to be consistent fi # END bootstrap $KOJI add-group $R_SIG-$TAG-build build diff --git a/scripts/mash_run.sh b/scripts/mash_run.sh index 70efd65..dd06544 100755 --- a/scripts/mash_run.sh +++ b/scripts/mash_run.sh @@ -137,7 +137,7 @@ mash_run () { [ ! -d $MASH_CACHE ] && mkdir -p $MASH_CACHE # Ensure we do not have parallel runs -pidfile=/var/run/mash-run.pid +pidfile=/var/tmp/mash-run.pid if [ -e $pidfile ]; then pid=`cat $pidfile` if kill -0 &> /dev/null $pid; then