tools/update_notice.sh


1
2
3
4
5
6
7

#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
cd $DIR/..
./libc/tools/generate-NOTICE.py libc libm > libc/NOTICE

git diff --exit-code HEAD libc/NOTICE
exit $?