Merge "Remove dead script."
This commit is contained in:
commit
21cf101f54
1 changed files with 0 additions and 7 deletions
|
@ -1,7 +0,0 @@
|
|||
#!/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 $?
|
Loading…
Reference in a new issue