From 7d8c4602fb2e95b9792b556db3f96b96f321d1c9 Mon Sep 17 00:00:00 2001 From: Elliott Hughes Date: Tue, 16 Apr 2019 12:34:03 -0700 Subject: [PATCH] Remove dead script. This is already handled by genrules. Test: N/A Change-Id: I123a971486431cc2b888df515b7bda8e408fa876 --- tools/update_version_scripts.sh | 7 ------- 1 file changed, 7 deletions(-) delete mode 100755 tools/update_version_scripts.sh 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 $?