From 9b0f993c1ebca720fe2042ab849f095257132d40 Mon Sep 17 00:00:00 2001 From: David Robillard Date: Tue, 31 Mar 2020 18:21:18 +0200 Subject: Remove unused configuration option --- wscript | 3 +-- 1 file changed, 1 insertion(+), 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') -- cgit v1.2.1