@ -35,7 +35,7 @@ make config
build=0
if [ $PLATFORM == "linux" -a "$linux" == "true" ]; then build=1; fi
if [ $PLATFORM == "macos" -a "$macos" == "true" ]; then build=1; fi
if [ $PLATFORM == "macosx" -a "$macosx" == "true" ]; then build=1; fi
if [ "$PLATFORM" == "cygwin" ]; then