diff options
| -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 ) |