diff --git a/configure b/configure index 0409a418b6..bc8b18fc60 100755 --- a/configure +++ b/configure @@ -216,7 +216,7 @@ Include the log file "$logfile" produced by configure as this will help solving the problem. EOF fi - rm -f $TMPC $TMPO $TMPE $TMPS $TMPH + rm -f $TMPC $TMPO $TMPE $TMPS $TMPH $TMPSH exit 1 } @@ -1210,6 +1210,7 @@ TMPO="${TMPDIR1}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}.o" TMPE="${TMPDIR1}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}${EXESUF}" TMPS="${TMPDIR1}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}.S" TMPH="${TMPDIR1}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}.h" +TMPSH="${TMPDIR1}/ffmpeg-conf-${RANDOM}-$$-${RANDOM}.sh" add_extralibs $osextralibs @@ -1442,11 +1443,11 @@ if ! gnu_make $make; then fi # make sure we can execute files in $TMPDIR -cat >$TMPE 2>>$logfile <$TMPSH 2>>$logfile <>$logfile 2>&1 -if ! $TMPE >>$logfile 2>&1; then +chmod +x $TMPSH >>$logfile 2>&1 +if ! $TMPSH >>$logfile 2>&1; then cat <