diff --git a/build-support/factor.sh b/build-support/factor.sh index 52a989b78d..8045a5fe7e 100755 --- a/build-support/factor.sh +++ b/build-support/factor.sh @@ -551,7 +551,7 @@ install_build_system_port() { } usage() { - $ECHO "usage: $0 install|install-x11|install-macosx|self-update|quick-update|update|bootstrap|dlls|net-bootstrap|make-target|report [optional-target]" + $ECHO "usage: $0 install|install-x11|install-macosx|self-update|quick-update|update|bootstrap|net-bootstrap|make-target|report [optional-target]" $ECHO "If you are behind a firewall, invoke as:" $ECHO "env GIT_PROTOCOL=http $0 " $ECHO ""