diff --git a/configure b/configure index d66029f01..51c373ca5 100755 --- a/configure +++ b/configure @@ -331,11 +331,11 @@ else if [ "x$GTK" = xno ] && [ "x$SYSTEM" = xLinux ]; then cat <