diff --git a/testsuite/driver/testlib.py b/testsuite/driver/testlib.py index 653796bb9492b57848eeec9d9da2b3b9e14491dd..29ceedb159d2f79a277976797d95ddbfb2304919 100644 --- a/testsuite/driver/testlib.py +++ b/testsuite/driver/testlib.py @@ -1816,6 +1816,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':