Enable building the docker-based builds with gtk2 (for those that support it.)

This commit is contained in:
Robin Dunn
2020-11-25 13:12:18 -08:00
parent 7118a36044
commit 63b8099bc2

View File

@@ -1729,6 +1729,21 @@ def cmd_build_docker(options, args):
cmd.append('-i') cmd.append('-i')
cmd.append(img) 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 # 'none' can be used to skip building and go straight to uploading
if options.docker_img != 'none': if options.docker_img != 'none':
pwd = pushDir('docker') pwd = pushDir('docker')