diff --git a/cdash/isDone.sh b/cdash/isDone.sh index 31a844bd1a9af4cc9700a74987a08f5f4060786a..648cf7ce009fefc2cba767e07826ef1a7654035b 100755 --- a/cdash/isDone.sh +++ b/cdash/isDone.sh @@ -19,7 +19,11 @@ donefile=$nightdir/$SLOTNAME/$today/isDone-$platform if [ $isdone == 1 ]; then touch $donefile echo "Created file $donefile" +elif [ $isdone == 2 ]; then + touch unstable-$donefile + echo "Created file unstable-$donefile" else rm -f $donefile - echo "Removed file $donefile" + rm -f unstable-$donefile + echo "Removed file $donefile and unstable-$donefile" fi