diff --git a/support/configure.inc b/support/configure.inc index 8e75275b..8ddae982 100755 --- a/support/configure.inc +++ b/support/configure.inc @@ -12,7 +12,7 @@ CONFIGURE_ARGS="$*" # System setup -[ -z "$PLATFORM" ] && PLATFORM=linux +[ -z "$PLATFORM" ] && PLATFORM=$(uname -s | tr "[:upper:]" "[:lower:]") [ -z "$CPU" ] && CPU=generic [ -z "$ARCH" ] && ARCH=`uname -m` [ -z "$OSENV" ] && OSENV=posix