blob: 302974f677d7fd54c6566d343992593cf49eac57 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
cd $DIR/..
python3 ./libc/tools/generate_notice.py libc libm > libc/NOTICE
if [ $? -ne 0 ]; then
>&2 echo NOTICE file generation failed
exit 1
fi
git diff --exit-code HEAD libc/NOTICE
exit $?
|