diff --git a/tools/config.sh b/tools/config.sh index 74de3b8c5..936a9c50c 100755 --- a/tools/config.sh +++ b/tools/config.sh @@ -58,7 +58,7 @@ if [ -d "$IDF_PATH" ]; then fi function get_os(){ - OSBITS=`arch` + OSBITS=`uname -m` if [[ "$OSTYPE" == "linux"* ]]; then if [[ "$OSBITS" == "i686" ]]; then echo "linux32"