1#!/bin/bash
2DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
3cd $DIR/..
4./libc/tools/generate-NOTICE.py libc libm > libc/NOTICE
5
6git diff --exit-code HEAD libc/NOTICE
7exit $?
8