diff --git a/configure b/configure index 12fd3c563e..9fa4058844 100755 --- a/configure +++ b/configure @@ -1110,6 +1110,19 @@ if test $tune != "generic"; then esac fi +# make sure we can execute files in $TMPDIR +cat >$TMPE 2>>$logfile <>$logfile 2>&1 +if ! $TMPE >>$logfile 2>&1; then + cat <