prism-auto: Also skip the export tests when the file is missing. [from Joachim Klein]

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10221 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/etc/scripts/prism-auto

@@ -368,8 +368,11 @@ def verifyAndCleanupExports(outFiles, exportPrefix):
                 print "diff " + outFile + " " + expFile
                 result = False
         else:
-            print "FAIL (no " + os.path.basename(expFile) + " to compare to)"
-            result = False
+            if options.noExportTests:
+                print "SKIPPED"
+            else:
+                print "FAIL (no " + os.path.basename(expFile) + " to compare to)"
+                result = False
     return result
 
 # Run a benchmark, specified by a list of command-line args,