diff options
author | 2017-12-28 15:53:55 +0000 | |
---|---|---|
committer | 2017-12-28 15:53:55 +0000 | |
commit | b624eb5040c7b1c4e3aa3ad5e1532951de2e79ca (patch) | |
tree | 9ab7d52eab6da749aafcb8e3637f4e4351891c53 | |
parent | rip-headers.sh: try DISTDIR from portage before falling back to /usr/portage (diff) | |
download | gentoo-b624eb5040c7b1c4e3aa3ad5e1532951de2e79ca.tar.gz gentoo-b624eb5040c7b1c4e3aa3ad5e1532951de2e79ca.tar.bz2 gentoo-b624eb5040c7b1c4e3aa3ad5e1532951de2e79ca.zip |
rip-headers.sh: add tiny 'usage' banner
-rw-r--r-- | src/patchsets/gentoo-headers/rip-headers.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/src/patchsets/gentoo-headers/rip-headers.sh b/src/patchsets/gentoo-headers/rip-headers.sh index 0558ec35f9..10b29308c8 100644 --- a/src/patchsets/gentoo-headers/rip-headers.sh +++ b/src/patchsets/gentoo-headers/rip-headers.sh @@ -1,7 +1,10 @@ #!/bin/bash -ex ver=$1 -[[ -z $ver ]] && exit 1 +if [[ -z $ver ]]; then + echo "Usage: $0 <kernel ver>" + exit 1 +fi [[ ${ver} == linux-* ]] && ver=${ver#linux-} ver=${ver%/} |