diff options
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -8,7 +8,7 @@ if echo $MACHINE | grep unknown > /dev/null; then MACHINE=`uname -m` fi; -if echo $MACHINE | grep sun4u > /dev/null; then +if echo $MACHINE | grep sparc > /dev/null; then MACHINE_NAME=sparc elif echo $MACHINE | grep i.86 > /dev/null; then MACHINE_NAME=i386 |