Merge "Remove dead script."
am: 21cf101f54

Change-Id: Ifcab748941734727842b46f64a3df8329e5d804a
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 $?