set PLATFORM

Author: pmp-p

python-wasm-sdk/python-wasi-sdk.sh

@@ -42,14 +42,16 @@ pause () {
     fi
 }
 
+# sane default
+PLATFORM=linux
 
 DISTRIB_RELEASE=${DISTRIB_RELEASE:-any}
 
 # is it linux enough ?
 if [ -f /etc/lsb-release ]
 then
     . /etc/lsb-release
-    export PLATFORM=linux
+    PLATFORM=linux
 else
     # is it Debian
     if [ -f /etc/os-release ]
@@ -67,7 +69,7 @@ else
 fi
 
 export DISTRIB="${DISTRIB_ID}-${DISTRIB_RELEASE}"
-
+export PLATFORM
 export SDKROOT=${SDKROOT:-/tmp/sdk}
 
 # default is behave like a CI

python-wasm-sdk/python-wasm-sdk.sh

@@ -42,14 +42,16 @@ pause () {
     fi
 }
 
+# sane default
+PLATFORM=linux
 
 DISTRIB_RELEASE=${DISTRIB_RELEASE:-any}
 
 # is it linux enough ?
 if [ -f /etc/lsb-release ]
 then
     . /etc/lsb-release
-    export PLATFORM=linux
+    PLATFORM=linux
 else
     # is it Debian
     if [ -f /etc/os-release ]
@@ -67,7 +69,7 @@ else
 fi
 
 export DISTRIB="${DISTRIB_ID}-${DISTRIB_RELEASE}"
-
+export PLATFORM
 export SDKROOT=${SDKROOT:-/tmp/sdk}
 
 # default is behave like a CI