diff --git a/configure b/configure index 8d6705bb2b..6c2727bc36 100755 --- a/configure +++ b/configure @@ -691,8 +691,11 @@ if test $tune != "generic"; then TUNECPU=ppc970 POWERPCMODE="64bits" ;; + i[3456]86|pentium|pentiumpro|pentium-mmx|pentium[234]|prescott|k6|k6-[23]|athlon|athlon-tbird|athlon-4|athlon-[mx]p|winchip-c6|winchip2|c3|nocona) + CFLAGS="$CFLAGS -march=$tune" + ;; *) - echo "WARNING: unknown CPU "$tune", ignored" + echo "WARNING: unknown CPU \"$tune\", ignored" ;; esac fi