--- embedtools/configure 2014/01/21 16:24:12 1.4.2.6 +++ embedtools/configure 2014/01/21 16:26:09 1.4.2.7 @@ -628,7 +628,6 @@ LIBOBJS EGREP GREP CPP -MACHINE OS MKDEP target_os @@ -3351,8 +3350,6 @@ fi OS=$(uname) - -MACHINE="${HOST_CPU:-i386}" CFLAGS="-Wall -O2 -fPIC -g -DINET6 ${CFLAGS}"