summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWolfgang Rohdewald <wolfgang@rohdewald.de>2015-11-27 19:28:57 (GMT)
committerWolfgang Rohdewald <wolfgang@rohdewald.de>2016-08-24 10:26:51 (GMT)
commit55eeb3b52cc29a86017e2c03004869aa11498342 (patch)
tree29a1ccb2a29d0639cd686abd34d0acc617c3afff
parent3df5ccf9ac8d678749d553ed7d43f132237a2f04 (diff)
kajonggtest: with --log, do not write git commit ids into debug output, we want to compare logs
-rwxr-xr-xsrc/kajonggtest.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/kajonggtest.py b/src/kajonggtest.py
index cacab6a..bce64d4 100755
--- a/src/kajonggtest.py
+++ b/src/kajonggtest.py
@@ -672,7 +672,7 @@ def improve_options():
OPTIONS.servers = OPTIONS.clients
OPTIONS.debug.extend(
'neutral,dangerousGame,explain,originalCall,robbingKong,robotAI,scores,traffic,hand'.split(','))
- if gitHead() not in ('current', None):
+ if gitHead() not in ('current', None) and not OPTIONS.log:
OPTIONS.debug.append('git')
if not OPTIONS.aiVariants:
OPTIONS.aiVariants = 'Default'