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

File:

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

benchmark/rmit.py

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