aboutsummaryrefslogtreecommitdiff
path: root/wscript
diff options
context:
space:
mode:
authorDavid Robillard <d@drobilla.net>2020-03-31 18:21:18 +0200
committerDavid Robillard <d@drobilla.net>2020-03-31 18:21:18 +0200
commit9b0f993c1ebca720fe2042ab849f095257132d40 (patch)
tree137415ba18bfebddd288bcecd5b722fc7b4a342a /wscript
parented0ef1d6d2c647684c13973c0faf8c17bfed3398 (diff)
Remove unused configuration option
Diffstat (limited to 'wscript')
-rw-r--r--wscript3
1 files changed, 1 insertions, 2 deletions
diff --git a/wscript b/wscript
index 797f321..c77681d 100644
--- a/wscript
+++ b/wscript
@@ -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')