diff options
| author | Carl Hetherington <cth@carlh.net> | 2018-09-22 21:58:24 +0100 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2018-09-22 21:58:24 +0100 |
| commit | ba5621f2b9f3248165441b23ab0f1d9d79c55ed2 (patch) | |
| tree | f4a0511d8435d7fd826d4c98812f2184258201e1 /cscript | |
| parent | 027b55a0b00c075d11798421ce4dd648225769aa (diff) | |
Merge player-only option into swaroop variant.
Diffstat (limited to 'cscript')
| -rw-r--r-- | cscript | 5 |
1 files changed, 1 insertions, 4 deletions
@@ -338,7 +338,7 @@ def dependencies(target): return deps def option_defaults(): - return { "player-only": False, "gui": True, "variant": None } + return { "gui": True, "variant": None } def configure_options(target, options): opt = '' @@ -363,9 +363,6 @@ def configure_options(target, options): if not options['gui']: opt += ' --disable-gui' - if options['player-only']: - opt += ' --player-only' - if options['variant'] is not None: opt += ' --variant=%s' % options['variant'] |
