From b7a034bb859e15d762bebaf7a6eb25c6fc22642b Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Thu, 27 Aug 2015 14:54:03 +0000
Subject: [PATCH] Remove changes accidentally commited in rev 10595.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10599 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/etc/scripts/prism-auto | 2 --
 1 file changed, 2 deletions(-)

diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto
index 0189926d..6251d49d 100755
--- a/prism/etc/scripts/prism-auto
+++ b/prism/etc/scripts/prism-auto
@@ -668,8 +668,6 @@ if options.logDir and not os.path.isdir(options.logDir):
     print "Log directory \"" + options.logDir + "\" does not exist"
     sys.exit(1)
 if options.nailgun:
-    exitCode = subprocess.Popen([options.ngprism, "--nailgun-help"], stderr=open(os.devnull, 'w')).wait()
-    print exitCode
     os.system(options.prismExec + " -ng &")
     time.sleep(0.5)
 for arg in args: