diff --git a/devel/upload.in b/devel/upload.in index b408a7bef4a9ec17e3ef51f45dcfbbd93b7c8f2f..32e553eaff4f6de0e693510541d5b1eed4896de6 100644 --- a/devel/upload.in +++ b/devel/upload.in @@ -35,6 +35,10 @@ while [ "$#" -gt 0 ]; do --no-restart) NO_RESTART=1 ;; + -h|--help) + echo "Usage: $0 [--no-restart] hosts..." + exit 0 + ;; -*) echo "Unknown option: $opt" >&2 exit 1