build: autodetect platform

diff --git a/support/configure.inc b/support/configure.inc
index 8e75275b58a81c6afbc985213e6e97916af3714a..8ddae9820cc7f71647e06d0d7b852b88274143f5 100755 (executable)
--- 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