Searched refs:BUILDDIR32 (Results 1 – 1 of 1) sorted by relevance
56 BUILDDIR32=@OSX_32BIT_BUILD@107 if [ $UNIVERSAL = 1 -a "$BUILDDIR32" != "" ]; then108 if [ ! -d $BUILDDIR32 ]; then109 echo ERROR: 32-bit build directory $BUILDDIR32 does not exist112 if [ ! -f $BUILDDIR32/Makefile ]; then113 echo ERROR: 32-bit build directory $BUILDDIR32 is not configured117 pushd $BUILDDIR32