diff options
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}" |