From c239ba7a6dc73bfe28934a7f04fbf5a79532b156 Mon Sep 17 00:00:00 2001
From: Joachim Klein <klein@tcs.inf.tu-dresden.de>
Date: Wed, 2 Aug 2017 14:28:31 +0000
Subject: [PATCH] prism-auto: allow use of ngprism on Windows

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

diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto
index 9268db3e..b89fd71c 100755
--- a/prism/etc/scripts/prism-auto
+++ b/prism/etc/scripts/prism-auto
@@ -800,9 +800,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:
-    if isWindows():
-        print("Using nailgun on Windows is currently not supported")
-        sys.exit(1)
     if options.echo or options.echoFull:
         print(options.prismExec + " -ng &")
     else: