diff --git a/tools/ci/vendor_deps.sh b/tools/ci/vendor_deps.sh index 0588de28..f474cedf 100755 --- a/tools/ci/vendor_deps.sh +++ b/tools/ci/vendor_deps.sh @@ -27,7 +27,7 @@ while [[ $# -gt 0 ]]; do --check) CHECK_ONLY=1; shift ;; --force) FORCE=1; shift ;; -h|--help) - sed -n '2,16p' "$0" | sed 's/^# \{0,1\}//' + sed -n '2,14p' "$0" | sed 's/^# \{0,1\}//' exit 0 ;; -*)