diff --git a/configure b/configure index 6380eee745..d5bd7b4ee5 100755 --- a/configure +++ b/configure @@ -1137,7 +1137,8 @@ chmod +x $TMPE >>$logfile 2>&1 if ! $TMPE >>$logfile 2>&1; then cat <