ronnie
2022-10-23 e7168d9f5b4f6252831380a001a8a9a3b2d32363
1
2
3
4
5
6
7
#!/bin/bash
DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
cd $DIR/..
./libc/tools/genversion-scripts.py
 
git diff --exit-code HEAD libc/*.map libdl/*.map libm/*.map linker/*.map
exit $?