diff options
| author | David Robillard <d@drobilla.net> | 2017-10-07 12:40:19 +0200 |
|---|---|---|
| committer | David Robillard <d@drobilla.net> | 2017-12-16 13:57:39 +0100 |
| commit | 60c7a0b8d376bdbd0d99dbe1b74fdb7ebe2cc2d9 (patch) | |
| tree | 57f0f2defe3c7ede9537b53453d164983f4c9f5f /src/gui/wscript | |
| parent | a21851e6950beac84e346e3fa453f6d4ef3f5703 (diff) | |
| download | ingen-60c7a0b8d376bdbd0d99dbe1b74fdb7ebe2cc2d9.tar.gz ingen-60c7a0b8d376bdbd0d99dbe1b74fdb7ebe2cc2d9.tar.bz2 ingen-60c7a0b8d376bdbd0d99dbe1b74fdb7ebe2cc2d9.zip | |
Clean up waf options
Diffstat (limited to 'src/gui/wscript')
| -rw-r--r-- | src/gui/wscript | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/gui/wscript b/src/gui/wscript index 0d7f7fc5..3c804d05 100644 --- a/src/gui/wscript +++ b/src/gui/wscript @@ -3,9 +3,10 @@ import waflib.extras.autowaf as autowaf import waflib.Utils as Utils import waflib.Options as Options -def options(opt): +def options(ctx): + opt = ctx.get_option_group('Configuration options') opt.add_option('--light-theme', action='store_true', dest='light_theme', - help='Use light coloured theme') + help='use light coloured theme') def configure(conf): autowaf.check_pkg(conf, 'gtkmm-2.4', uselib_store='GTKMM', |