summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorWolfgang Rohdewald <wolfgang@rohdewald.de>2016-08-21 09:02:57 (GMT)
committerWolfgang Rohdewald <wolfgang@rohdewald.de>2016-08-24 10:26:54 (GMT)
commitad97a8dd315e084ebac3a36338cf888dd0d26e48 (patch)
tree3748fbdc5c9bf97df183b749caec94dd4625da02
parentcd956aeacccb825f9dfd75651e4182538f7cba00 (diff)
kajonggtest: reduce unneeded output
-rwxr-xr-xsrc/kajonggtest.py7
1 files changed, 5 insertions, 2 deletions
diff --git a/src/kajonggtest.py b/src/kajonggtest.py
index 94cb9f3..30084cf 100755
--- a/src/kajonggtest.py
+++ b/src/kajonggtest.py
@@ -688,8 +688,11 @@ def improve_options():
if not OPTIONS.aiVariants:
OPTIONS.aiVariants = 'Default'
OPTIONS.allAis = OPTIONS.aiVariants.split(',')
- print('rulesets:', ', '.join(OPTIONS.rulesets))
- print('AIs:', ' '.join(OPTIONS.allAis))
+ if OPTIONS.count:
+ print('rulesets:', ', '.join(OPTIONS.rulesets))
+ _ = ' '.join(OPTIONS.allAis)
+ if _ != 'Default':
+ print('AIs:', _)
if OPTIONS.git:
print('commits:', ' '.join(OPTIONS.git))
# since we order jobs by game, commit we want one permanent server per