Miscellany

        if {    file "$1" || {
                        oewarn "file $1: failed (forced strip)" >&2
                        echo 'not stripped'
                }
           } | grep -q 'not stripped'
        then