diff options
| -rwxr-xr-x | test/test-manager | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/test/test-manager b/test/test-manager index 33835237..814f7ead 100755 --- a/test/test-manager +++ b/test/test-manager @@ -74,6 +74,12 @@ for key in properties.keys(): print " true" else: print " false" + elif key in ["DefaultTechnology"]: + print "%s" % (key) + if properties[key] == "": + print " <none>" + else: + print " %s" % (properties[key]) else: print "%s" % (key) print " %s" % (properties[key]) |