2017-11-02 16:55:20 +01:00
|
|
|
#!/bin/bash
|
2016-10-20 19:34:47 +02:00
|
|
|
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
|
|
|
cd $DIR/..
|
2016-10-20 20:45:16 +02:00
|
|
|
./libc/tools/generate-NOTICE.py libc libdl libm linker libstdc++ > libc/NOTICE
|
2016-10-20 19:34:47 +02:00
|
|
|
|
2016-10-20 20:45:16 +02:00
|
|
|
git diff --exit-code HEAD libc/NOTICE
|
2016-10-20 19:34:47 +02:00
|
|
|
exit $?
|
