diff --git a/prism/etc/scripts/prism-auto b/prism/etc/scripts/prism-auto index bfed6340..57c7e12f 100755 --- a/prism/etc/scripts/prism-auto +++ b/prism/etc/scripts/prism-auto @@ -488,6 +488,7 @@ def benchmarkModelFile(modelFile, modelArgs=[], dir=""): propertiesFiles = getPropertiesInDir(dir) logging.debug("Properties files: " + str(propertiesFiles)) for propertiesFile in propertiesFiles: + logging.debug("Property file: " + propertiesFile) for argsp in getMatchingArgListsForFile(propertiesFile): benchmark(modelFile, modelArgs + args + [propertiesFile] + argsp, dir) # Find and benchmark auto files