diff options
Diffstat (limited to 'tool/darwin-ar')
-rwxr-xr-x | tool/darwin-ar | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tool/darwin-ar b/tool/darwin-ar new file mode 100755 index 0000000000..08e4aadb96 --- /dev/null +++ b/tool/darwin-ar @@ -0,0 +1,5 @@ +#!/bin/bash +exec 2> >(exec grep -v \ + -e 'has no symbols$' \ + >&2) +exec "$@" |