From 63b8099bc295e767923a9dd05693aa8a23e8c6b1 Mon Sep 17 00:00:00 2001 From: Robin Dunn Date: Wed, 25 Nov 2020 13:12:18 -0800 Subject: [PATCH] Enable building the docker-based builds with gtk2 (for those that support it.) --- build.py | 15 +++++++++++++++ 1 file changed, 15 insertions(+) diff --git a/build.py b/build.py index f2eb0449..34038cc3 100755 --- a/build.py +++ b/build.py @@ -1729,6 +1729,21 @@ def cmd_build_docker(options, args): cmd.append('-i') cmd.append(img) + # Do just the gtk2 builds? + if options.gtk2: + cmd.extend(['--port', 'gtk2']) + + # TODO: Instead of the simple options.gtk2 test above, do something like the + # following to select both. But currently if gtk2 is selected then + # options.gtk3 is explicity set to False... That needs to be made a little + # smarter. + # if options.gtk2 and options.gtk3: + # cmd.extend(['--port', 'all']) + # elif options.gtk2: + # cmd.extend(['--port', 'gtk2']) + # else: + # cmd.extend(['--port', 'gtk3']) + # 'none' can be used to skip building and go straight to uploading if options.docker_img != 'none': pwd = pushDir('docker')