diff --git a/common/wrappers/strip.sh b/common/wrappers/strip.sh new file mode 100644 index 00000000000..febf451293d --- /dev/null +++ b/common/wrappers/strip.sh @@ -0,0 +1,4 @@ +#!/bin/sh + +echo "strip-wrapper: ignoring arguments: $@" +exit 0