From 8b062cf41061934c1476a86d2975ac88030c5134 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 10 Jun 2015 21:29:46 +0000 Subject: [PATCH] prism-auto can take multiple files/dirs as arguments. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9991 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 17 +++++++++-------- 1 file changed, 9 insertions(+), 8 deletions(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index 16a16243..441a7858 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -524,7 +524,7 @@ def signal_handler(signal, frame): # Main program signal.signal(signal.SIGINT, signal_handler) -parser = OptionParser(usage="usage: %prog [options] arg") +parser = OptionParser(usage="usage: %prog [options] args") parser.add_option("-l", "--log", dest="logDir", metavar="DIR", default="", help="Store PRISM output in logs in DIR") parser.add_option("-a", "--args", dest="bmFile", metavar="FILE", default="", help="Read argument lists for benchmarking from FILE") parser.add_option("-e", "--echo", action="store_true", dest="echo", default=False, help="Just print out tasks, don't execute") @@ -538,7 +538,7 @@ parser.add_option("--test-all", action="store_true", dest="testAll", default=Fal parser.add_option("--no-renaming", action="store_true", dest="noRenaming", default=False, help="Don't rename files to be exported") parser.add_option("--debug", action="store_true", dest="debug", default=False, help="Enable debug mode: display debugging info") (options, args) = parser.parse_args() -if len(args) != 1: +if len(args) < 1: parser.print_help() sys.exit(1) if options.debug: @@ -546,9 +546,10 @@ if options.debug: if options.logDir and not os.path.isdir(options.logDir): print "Log directory \"" + options.logDir + "\" does not exist" sys.exit(1) -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" +for arg in args: + if os.path.isdir(arg): + benchmarkDir(arg) + elif os.path.isfile(arg): + benchmarkFile(arg) + else: + print "Error: File/directory " + arg + " does not exist"