diff options
| author | John Stebbins <[email protected]> | 2016-08-31 08:56:28 -0700 |
|---|---|---|
| committer | John Stebbins <[email protected]> | 2016-08-31 08:56:28 -0700 |
| commit | e7a320cb6223a2389db025e8bd8001ee9ece9769 (patch) | |
| tree | b36e80d1331f10258c42cc44b9c9c4efc3d4261a | |
| parent | a464833a790f44f061f9de42a88f64e49156d422 (diff) | |
build: fix configure error created by flatpak commit
| -rw-r--r-- | make/configure.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/make/configure.py b/make/configure.py index 5952b22ac..d4a0dff5a 100644 --- a/make/configure.py +++ b/make/configure.py @@ -1346,8 +1346,8 @@ def createCLI(): h = IfHost( 'Build and use local pkg-config', '*-*-darwin*', none=optparse.SUPPRESS_HELP ).value grp.add_option( '--enable-local-pkgconfig', default=False, action='store_true', help=h ) - if host.match( '*-*-linux*' ): - grp.add_option( '--flatpak', default=False, action='store_true', help='Build extra contribs for flatpak' ) + h = IfHost( 'Build extra contribs for flatpak packaging', '*-*-linux*', none=optparse.SUPPRESS_HELP ).value + grp.add_option( '--flatpak', default=False, action='store_true', help=h ) cli.add_option_group( grp ) |