diff --git a/tools/update_version_scripts.sh b/tools/update_version_scripts.sh deleted file mode 100755 index 2c3a5b4a9..000000000 --- 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 $?