From 18a53bd573bbf0f19fb3043e8bf434beb1021576 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 21 Mar 2012 09:52:42 +0000
Subject: [PATCH] prism-auto echo mode displays full prism exec line.

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

diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto
index b92a2b3b..b3a6a8af 100755
--- a/prism/etc/scripts/prism-auto
+++ b/prism/etc/scripts/prism-auto
@@ -203,13 +203,12 @@ def runPrism(args, dir=""):
 	if options.test:
 		if options.testAll: args.append("-testall")
 		else: args.append("-test")
-	if options.echo:
-		print ' '.join(args)
-		return
 	prismArgs = [options.prismExec] + args
 	if options.extraArgs:
 		prismArgs += options.extraArgs.split(' ');
 	print ' '.join(prismArgs)
+	if options.echo:
+		return
 	if options.logDir:
 		logFile = os.path.join(options.logDir, createLogFileName(args, dir))
 		f = open(logFile, 'w')