diff options
Diffstat (limited to '.github')
| -rwxr-xr-x | .github/workflows/builds.sh | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/.github/workflows/builds.sh b/.github/workflows/builds.sh index b192d971..11c063b4 100755 --- a/.github/workflows/builds.sh +++ b/.github/workflows/builds.sh @@ -14,6 +14,14 @@ infoend() { } if [ -f autogen.sh ]; then + if [ "$DISTRO" = "fedora" ]; then + # disable pt language for help in search tool + # See: https://github.com/itstool/itstool/issues/36 + infobegin "Apply Portuguese gsearchtool help workaround" + sed -i 's/^IGNORE_HELP_LINGUAS =.*$/IGNORE_HELP_LINGUAS = pt/' gsearchtool/help/Makefile.am + infoend + fi + infobegin "Configure (autotools)" NOCONFIGURE=1 ./autogen.sh ./configure --prefix=/usr --enable-compile-warnings=maximum || { |