Changes in benchmark/rmit.py [af333e3:6f27b67]

File:

• benchmark/rmit.py (modified) (1 diff)

benchmark/rmit.py

@@ -138 +138 @@
         # ================================================================================
         # Identify the commands to run
-        commands = ["./" + options.command[0] + "-" + c for c in options.candidates]
+        command = './' + options.command[0]
+        if options.candidates:
+                commands = [command + "-" + c for c in options.candidates]
+        else:
+                commands = [command]
         for c in commands:
                 if not os.path.isfile(c):