diff --git a/make.sh b/make.sh index 51d3acc85..98c91845d 100755 --- a/make.sh +++ b/make.sh @@ -1957,7 +1957,7 @@ check-manualpages) fi ;; *) - echo "Usage: $0 {build|changelog|clean|gettoolchain|downloadsrc|shell|sync|toolchain|update-contributors|find-dependencies|check-manualpages}" + echo "Usage: $0 [OPTIONS] {build|changelog|clean|gettoolchain|downloadsrc|shell|sync|toolchain|update-contributors|find-dependencies|check-manualpages}" cat doc/make.sh-usage ;; esac