From 60c7a0b8d376bdbd0d99dbe1b74fdb7ebe2cc2d9 Mon Sep 17 00:00:00 2001 From: David Robillard Date: Sat, 7 Oct 2017 12:40:19 +0200 Subject: Clean up waf options --- src/gui/wscript | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src') 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', -- cgit v1.2.1