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
11 years ago · 3ca0c4fb81
1 changed files with 2 additions and 0 deletions
--- 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"