From 7859163e66a84ac0399f2b32a4130e7cc56b2734 Mon Sep 17 00:00:00 2001 From: Vadim Zeitlin Date: Mon, 19 Oct 2020 16:50:56 +0200 Subject: [PATCH] Require specifying wxGTK_VERSION for wxGTK builds on Travis CI This avoids accidentally using a wrong GTK version, as it happened for e.g. ARM64 build. --- build/tools/before_install.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/build/tools/before_install.sh b/build/tools/before_install.sh index c385a64d7e..08167e458a 100755 --- a/build/tools/before_install.sh +++ b/build/tools/before_install.sh @@ -22,9 +22,12 @@ case $(uname -s) in 3) libtoolkit_dev=libgtk-3-dev extra_deps='libwebkit2gtk-4.0-dev libwebkitgtk-3.0-dev' ;; - *) libtoolkit_dev=libgtk2.0-dev + 2) libtoolkit_dev=libgtk2.0-dev extra_deps='libwebkitgtk-dev' ;; + *) echo 'Please specify wxGTK_VERSION explicitly.' >&2 + exit 1 + ;; esac extra_deps="$extra_deps \