diff --git a/configure b/configure index b88994d44..d66029f01 100755 --- a/configure +++ b/configure @@ -324,10 +324,20 @@ fi # GTK+ settings # echo -n "GTK+: " -if [ "$GTK" = no ]; then +if [ "x$GTK" = xno ]; then echo "disabled" else gtk_test + if [ "x$GTK" = xno ] && [ "x$SYSTEM" = xLinux ]; then + cat <