diff options
| -rwxr-xr-x | configure | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/configure b/configure index a2a792c93f..c5c6dc4789 100755 --- a/configure +++ b/configure @@ -2504,7 +2504,6 @@ fi # base_machine, we don't change it. test -n "$base_machine" || case "$machine" in a29k | am29000) base_machine=a29k machine=a29k ;; -alpha*) base_machine=alpha machine=alpha/$machine ;; c3[012]) base_machine=cx0 machine=cx0/c30 ;; c4[04]) base_machine=cx0 machine=cx0/c40 ;; i[34567]86) base_machine=i386 machine=i386/$machine ;; |