--- embedtools/configure 2013/05/22 11:33:10 1.4.2.2 +++ embedtools/configure 2013/05/22 11:57:33 1.4.2.3 @@ -628,6 +628,7 @@ LIBOBJS EGREP GREP CPP +MACHINE OS MKDEP target_os @@ -3350,6 +3351,8 @@ fi OS=$(uname) + +MACHINE=${MACHINE:-i386} CFLAGS="-Wall -O2 -fPIC -g -DINET6 ${CFLAGS}"