test/make/configure.vm

changeset 102
bc7837852b7c
parent 97
1af1bfacd25a
child 103
01ec9f32835e
equal deleted inserted replaced
101:7f40964bf1e9 102:bc7837852b7c
184 OS=`uname -s` 184 OS=`uname -s`
185 OS_VERSION=`uname -r` 185 OS_VERSION=`uname -r`
186 printf "detect platform... " 186 printf "detect platform... "
187 if [ "$OS" = "SunOS" ]; then 187 if [ "$OS" = "SunOS" ]; then
188 PLATFORM="solaris sunos unix svr4" 188 PLATFORM="solaris sunos unix svr4"
189 fi 189 elif [ "$OS" = "Linux" ]; then
190 if [ "$OS" = "Linux" ]; then
191 PLATFORM="linux unix" 190 PLATFORM="linux unix"
192 fi 191 elif [ "$OS" = "FreeBSD" ]; then
193 if [ "$OS" = "FreeBSD" ]; then
194 PLATFORM="freebsd bsd unix" 192 PLATFORM="freebsd bsd unix"
195 fi 193 elif [ "$OS" = "OpenBSD" ]; then
196 if [ "$OS" = "Darwin" ]; then 194 PLATFORM="openbsd bsd unix"
195 elif [ "$OS" = "NetBSD" ]; then
196 PLATFORM="netbsd bsd unix"
197 elif [ "$OS" = "Darwin" ]; then
197 PLATFORM="macos osx bsd unix" 198 PLATFORM="macos osx bsd unix"
198 fi 199 elif echo "$OS" | grep -i "MINGW" > /dev/null; then
199 if echo "$OS" | grep -i "MINGW" > /dev/null; then
200 PLATFORM="windows mingw" 200 PLATFORM="windows mingw"
201 fi 201 fi
202 : ${PLATFORM:="unix"} 202 : ${PLATFORM:="unix"}
203 203
204 PLATFORM_NAME=`echo "$PLATFORM" | cut -f1 -d' ' -` 204 PLATFORM_NAME=`echo "$PLATFORM" | cut -f1 -d' ' -`

mercurial