Changeset 37c6f77 for benchmark/rmit.py

Timestamp:

Jul 13, 2021, 9:30:55 AM (2 years ago)

Author:

caparsons <caparson@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

12a1013, 801978b

Parents:

9345684 (diff), 6f27b67 (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

Message:

Merge branch 'master' of plg.uwaterloo.ca:software/cfa/cfa-cc

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):