add kernel/.gitignore

hc

2024-08-16 a24a44ff9ca902811b99aa9663d697cf452e08ef

1
2
3
4
5
6
7
8
9
10
#!/bin/sh
nm="$1"
file="$2"
$nm "$file" | grep '^ *U' > /dev/null 2>&1
if [ $? -eq 1 ]; then
    exit 0
else
    echo "$file: undefined symbols found" >&2
    exit 1
fi