diff 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', |