From 3ca0c4fb81c7a947373ac2b08408a50e9e09c109 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 10 Jun 2015 12:19:26 +0000
Subject: [PATCH] prism-auto: Print error if file/dir does not exist

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

diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto
index fda3d6db..12ca1c3c 100755
--- a/prism/etc/scripts/prism-auto
+++ b/prism/etc/scripts/prism-auto
@@ -542,3 +542,5 @@ if os.path.isdir(args[0]):
     benchmarkDir(args[0])
 elif os.path.isfile(args[0]):
     benchmarkFile(args[0])
+else:
+    print "Error: File/directory " + args[0] + " does not exist"