diff --git a/misc/linux-platform.sh b/misc/linux-platform.sh index 818e53b..01569e6 100755 --- a/misc/linux-platform.sh +++ b/misc/linux-platform.sh @@ -2,7 +2,12 @@ # # Linux specific defines and system call maps. -PLATFORM=$(uname -m) +if [ -z "$TARGET_PLATFORM" ]; then + PLATFORM=$(uname -m) +else + PLATFORM=$TARGET_PLATFORM +fi + BASE=$(dirname $0) case "$PLATFORM" in