diff options
Diffstat (limited to 'scripts/LocalDriver.py')
| -rw-r--r-- | scripts/LocalDriver.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/LocalDriver.py b/scripts/LocalDriver.py index 3370e7f3c0b..9ec6db4aab9 100644 --- a/scripts/LocalDriver.py +++ b/scripts/LocalDriver.py @@ -507,7 +507,7 @@ class LocalDriver(Driver): if confStr: current.writeln("- Config: {0}".format(confStr)) if cross: - current.writeln("- Mappings: {0}/{1}".format(client.getMapping(), server.getMapping())) + current.writeln("- Mappings: {0},{1}".format(client.getMapping(), server.getMapping())) if not current.config.canRun(current) or not current.testcase.canRun(current): current.writeln("skipped, not supported with this configuration") return |