diff --git a/dist/tools/toolchains/build_gnuarm.sh b/dist/tools/toolchains/build_gnuarm.sh index 7d0d4b6be6..67b17d859f 100755 --- a/dist/tools/toolchains/build_gnuarm.sh +++ b/dist/tools/toolchains/build_gnuarm.sh @@ -143,7 +143,7 @@ download_file() { } check_space() { - echo "Checkign disk space in ${TMP_DIR}" + echo "Checking disk space in ${TMP_DIR}" if [ $FREETMP -lt $SPACE_NEEDED ] then echo "Not enough available space in ${TMP_DIR}. Minimum ${SPACE_NEEDED} free bytes required."