test/configure2

changeset 102
bc7837852b7c
parent 98
4bf47ea3fc64
child 105
4b3e655339cb
equal deleted inserted replaced
101:7f40964bf1e9 102:bc7837852b7c
166 OS=`uname -s` 166 OS=`uname -s`
167 OS_VERSION=`uname -r` 167 OS_VERSION=`uname -r`
168 printf "detect platform... " 168 printf "detect platform... "
169 if [ "$OS" = "SunOS" ]; then 169 if [ "$OS" = "SunOS" ]; then
170 PLATFORM="solaris sunos unix svr4" 170 PLATFORM="solaris sunos unix svr4"
171 fi 171 elif [ "$OS" = "Linux" ]; then
172 if [ "$OS" = "Linux" ]; then
173 PLATFORM="linux unix" 172 PLATFORM="linux unix"
174 fi 173 elif [ "$OS" = "FreeBSD" ]; then
175 if [ "$OS" = "FreeBSD" ]; then
176 PLATFORM="freebsd bsd unix" 174 PLATFORM="freebsd bsd unix"
177 fi 175 elif [ "$OS" = "OpenBSD" ]; then
178 if [ "$OS" = "Darwin" ]; then 176 PLATFORM="openbsd bsd unix"
177 elif [ "$OS" = "NetBSD" ]; then
178 PLATFORM="netbsd bsd unix"
179 elif [ "$OS" = "Darwin" ]; then
179 PLATFORM="macos osx bsd unix" 180 PLATFORM="macos osx bsd unix"
180 fi 181 elif echo "$OS" | grep -i "MINGW" > /dev/null; then
181 if echo "$OS" | grep -i "MINGW" > /dev/null; then
182 PLATFORM="windows mingw" 182 PLATFORM="windows mingw"
183 fi 183 fi
184 : ${PLATFORM:="unix"} 184 : ${PLATFORM:="unix"}
185 185
186 PLATFORM_NAME=`echo "$PLATFORM" | cut -f1 -d' ' -` 186 PLATFORM_NAME=`echo "$PLATFORM" | cut -f1 -d' ' -`

mercurial