diff options
| -rw-r--r-- | testsuite/driver/testlib.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/testsuite/driver/testlib.py b/testsuite/driver/testlib.py index 1d3ef11cfd..59230abbc6 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': |