Index: /issm/trunk-jpl/scripts/jenkins.sh
===================================================================
--- /issm/trunk-jpl/scripts/jenkins.sh	(revision 16594)
+++ /issm/trunk-jpl/scripts/jenkins.sh	(revision 16595)
@@ -54,5 +54,4 @@
 	#no config file specified: exit
 	echo "no config file specified. Exiting..." >&2 # Error message to stderr.
-	rm NIGHTLYLOCK
 	exit 1
 fi
@@ -60,5 +59,4 @@
 then
 	echo "File $1 not found!" >&2   # Error message to stderr.
-	rm NIGHTLYLOCK
 	exit 1
 fi