del userdata part

hc

2023-03-07 b7c0d7ef5080a876d1e2a044d0a51dcb0e0bcf1e

1
2
3
4
5
6
#!/bin/sh
##
# Hack to have an nm which removes the local symbols.  We also rely
# on this nm being hidden out of the ordinarily executable path
##
${CROSS_COMPILE}nm $* | grep -v '.LC*[0-9]*$'