diff --git a/testsuite/driver/testlib.py b/testsuite/driver/testlib.py index 1d3ef11cfd1ae157c8866d59938369ac5761822d..59230abbc62e43eee2e545b8238639af1398487d 100644 --- a/testsuite/driver/testlib.py +++ b/testsuite/driver/testlib.py @@ -1828,6 +1828,9 @@ def rawSystemWithTimeout(cmd_and_args): # Then, when using the native Python, os.system will invoke the cmd shell def runCmd( cmd ): + # Format cmd using config. Example: cmd='{hpc} report A.tix' + cmd = cmd.format(**config.__dict__) + if_verbose( 3, cmd ) r = 0 if config.os == 'mingw32':