From e5b6290e634de47bfc7029a8fc2196ac442e98e3 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Wed, 10 Jun 2015 07:33:47 +0000 Subject: [PATCH] Added switch -debug to prism-auto. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9970 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/etc/scripts/prism-auto | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index c4e36fff..a7f5f047 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -547,7 +547,8 @@ parser.add_option("--debug", action="store_true", dest="debug", default=False, h if len(args) != 1: parser.print_help() sys.exit(1) -logging.basicConfig(level=logging.DEBUG) +if options.debug: + logging.basicConfig(level=logging.DEBUG) if options.logDir and not os.path.isdir(options.logDir): print "Log directory \"" + options.logDir + "\" does not exist" sys.exit(1)