Merge "Remove dead script." am: 21cf101f54 am: 0522149f3d
am: 3571c657f0
Change-Id: I44db2b67d3123fa550df2813dd5f7fd3ce7a6d4e
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 $?