mirror of https://github.com/WebAssembly/wasi-sdk
Strip symbols of all binaries generated in /bin (#109)
parent
4d08c33d25
commit
f754491ed2
@ -0,0 +1,9 @@
|
|||||||
|
#!/usr/bin/env sh
|
||||||
|
set -e
|
||||||
|
|
||||||
|
DIRECTORY=${1:-/opt/wasi-sdk/bin}
|
||||||
|
EXECUTABLES=$(find ${DIRECTORY} -type f -executable)
|
||||||
|
for e in ${EXECUTABLES}; do
|
||||||
|
echo "Stripping symbols: ${e}"
|
||||||
|
strip ${e} || echo "Failed to strip symbols for ${e}; continuing on."
|
||||||
|
done
|
Loading…
Reference in new issue