diff options
| author | Jakub Beránek <jakub.beranek@vsb.cz> | 2024-08-12 18:46:06 +0200 |
|---|---|---|
| committer | Jakub Beránek <jakub.beranek@vsb.cz> | 2024-08-12 18:46:06 +0200 |
| commit | 6863db5219267d7a8a8e82053ee4d1eb19840575 (patch) | |
| tree | e7ab8d5e18f89a33b5d3a599468117e12d80adc8 | |
| parent | e08b80c0fb7667bdcd040761891701e576c42ec8 (diff) | |
| download | rust-6863db5219267d7a8a8e82053ee4d1eb19840575.tar.gz rust-6863db5219267d7a8a8e82053ee4d1eb19840575.zip | |
Remove unused script from run-make tests
| -rw-r--r-- | tests/run-make/git_clone_sha1.sh | 23 |
1 files changed, 0 insertions, 23 deletions
diff --git a/tests/run-make/git_clone_sha1.sh b/tests/run-make/git_clone_sha1.sh deleted file mode 100644 index 626e4e42761..00000000000 --- a/tests/run-make/git_clone_sha1.sh +++ /dev/null @@ -1,23 +0,0 @@ -#!/bin/bash -x - -# Usage: $0 project_name url sha1 -# Get the crate with the specified sha1. -# -# all arguments are required. -# -# See below link for git usage: -# https://stackoverflow.com/questions/3489173#14091182 - -# Mandatory arguments: -PROJECT_NAME=$1 -URL=$2 -SHA1=$3 - -function err_exit() { - echo "ERROR:" $* - exit 1 -} - -git clone $URL $PROJECT_NAME || err_exit -cd $PROJECT_NAME || err_exit -git reset --hard $SHA1 || err_exit |