| commit | 21cf101f5491400349fa1126ff31247513c25dab | [log] [tgz] |
|---|---|---|
| author | Treehugger Robot <treehugger-gerrit@google.com> | Tue Apr 16 21:11:36 2019 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue Apr 16 21:11:36 2019 +0000 |
| tree | 3e8cb8c4009756af9ddc49bf35d274226248002f | |
| parent | b9a7c651f178323e27752406f89d741cfb143e61 [diff] | |
| parent | 7d8c4602fb2e95b9792b556db3f96b96f321d1c9 [diff] |
Merge "Remove dead script."
diff --git a/tools/update_version_scripts.sh b/tools/update_version_scripts.sh deleted file mode 100755 index 2c3a5b4..0000000 --- a/tools/update_version_scripts.sh +++ /dev/null
@@ -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 $?