diff options
-rwxr-xr-x | configure | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -67,7 +67,7 @@ cc_check() { cat "$TMPC" >> "$TMPLOG" echo >> "$TMPLOG" echo "$CXX $TMPC -o $TMPO $@" >> "$TMPLOG" - rm -f "$TMPO" + rm -f "$TMPO$EXEEXT" ( $CXX "$TMPC" -o "$TMPO" "$@" ) >> "$TMPLOG" 2>&1 TMP="$?" echo >> "$TMPLOG" @@ -853,7 +853,7 @@ else _def_mpeg2='#undef USE_MPEG2' fi echo "$_mpeg2" -rm -f $TMPC $TMPO +rm -f $TMPC $TMPO$EXEEXT # # figure out installation directories |