Bug fix in prism-auto (build mode).

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

prism/etc/scripts/prism-auto

@@ -259,7 +259,7 @@ def benchmarkDir(dir):
 		for modelFile in modelFiles:
 			# Build mode: just build
 			if options.build:
-				benchmark(modelFile + args, dir)
+				benchmark(modelFile, dir)
 			# Otherwise, find properties
 			else:
 				if options.matching: propertiesFiles = getMatchingPropertiesInDir(dir, modelFile[0])