From c1800fdf65b49b17c830d36e7cb52ac8aac11e93 Mon Sep 17 00:00:00 2001
From: Thomas Oulevey <thomas.oulevey@cern.ch>
Date: Feb 22 2018 13:40:53 +0000
Subject: Fix rm issue if option -t


---

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