1 --- configure.orig 2008-04-06 18:54:16.000000000 +0600
2 +++ configure 2008-04-06 18:59:17.000000000 +0600
4 echo " 32-bit Intel 80x86 (i386)"
9 + if [ "$OPT_VERBOSE" = "yes" ]; then
10 + echo " ARCH is set to x86 or i386/i486/i586/i686 set ARCH to i386"
17 if [ "$PLATFORM" = "linux-g++-32" -o "$PLATFORM" = "linux-icc-32" ]; then