diff --git a/scripts/mash_run.sh b/scripts/mash_run.sh index 4fa421a..9a595cf 100755 --- a/scripts/mash_run.sh +++ b/scripts/mash_run.sh @@ -214,5 +214,5 @@ do done wait -rm $pidfile +( ! $optiont ) && rm $pidfile exit 0