diff --git a/distribute.sh b/distribute.sh index 7b1506a717..e33404e4ed 100755 --- a/distribute.sh +++ b/distribute.sh @@ -147,7 +147,7 @@ function get_directory() { } function push_arm() { - info "Entering in ARM enviromnent" + info "Entering in ARM environment" # save for pop export OLD_PATH=$PATH