diff options
Diffstat (limited to 'bin/doinfo')
-rwxr-xr-x | bin/doinfo | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/bin/doinfo b/bin/doinfo index 7e1dd30ca..1c9e7cc07 100755 --- a/bin/doinfo +++ b/bin/doinfo @@ -12,4 +12,11 @@ if [[ ! -d ${D}usr/share/info ]] ; then install -d "${D}usr/share/info" || exit 1 fi -exec install -m0644 "$@" "${D}usr/share/info" +install -m0644 "$@" "${D}usr/share/info" +rval=$? +if [ $rval -ne 0 ] ; then + for x in "$@" ; do + [ -e "$x" ] || echo "!!! ${0##*/}: $x does not exist" 1>&2 + done +fi +exit $rval |