diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index 18e99869..1c094998 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -582,7 +582,7 @@ def benchmarkModelFile(modelFile, modelArgs=[], dir=""): for args in argLists: # Build mode: just build if options.build: - benchmark(modelFile, modelArgs + args) + benchmark(modelFile, modelArgs + args, dir) # Otherwise, find properties else: # Find and benchmark properties