diff options
author | David Robillard <d@drobilla.net> | 2020-03-31 18:21:18 +0200 |
---|---|---|
committer | David Robillard <d@drobilla.net> | 2020-03-31 18:21:18 +0200 |
commit | 9b0f993c1ebca720fe2042ab849f095257132d40 (patch) | |
tree | 137415ba18bfebddd288bcecd5b722fc7b4a342a | |
parent | ed0ef1d6d2c647684c13973c0faf8c17bfed3398 (diff) |
Remove unused configuration option
-rw-r--r-- | wscript | 3 |
1 files changed, 1 insertions, 2 deletions
@@ -33,8 +33,7 @@ def options(ctx): 'no-gl': 'do not build OpenGL support', 'no-cairo': 'do not build Cairo support', 'no-static': 'do not build static library', - 'no-shared': 'do not build shared library', - 'grab-focus': 'work around keyboard issues by grabbing focus'}) + 'no-shared': 'do not build shared library'}) ctx.get_option_group('Test options').add_option( '--gui-tests', action='store_true', help='Run GUI tests') |