diff options
| author | P. J. McDermott <pjm@nac.net> | 2012-01-19 21:01:48 (EST) |
|---|---|---|
| committer | P. J. McDermott <pjm@nac.net> | 2012-01-19 21:02:42 (EST) |
| commit | d6caadadcc2da77a9decd99863b801661fd30186 (patch) | |
| tree | 020ee6ec861d550a001a0844a8d65e86a0a4f138 /src/oh-strip | |
| parent | 6e05dd9a7467f146a074091be7c417b1b4ba3061 (diff) | |
Count arguments and fail if insufficient.
Diffstat (limited to 'src/oh-strip')
| -rw-r--r-- | src/oh-strip | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/src/oh-strip b/src/oh-strip index 06e1d92..e3ae500 100644 --- a/src/oh-strip +++ b/src/oh-strip @@ -58,6 +58,11 @@ if [ -z "${is_lib}" ]; then is_lib=false fi +if [ ${#} -eq 0 ]; then + print_usage ${0} >&2 + exit 1 +fi + while [ ${#} -gt 0 ]; do if ${make_dbg_pkg}; then objcopy --only-keep-debug "dest/${1}" "dest/usr/lib/debug/${1}" |