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 \