#!/bin/sh
# echo the invoked command
set -x
@original_strip@ @strip_arguments@ "$@"