Remove unused script from run-make tests

This commit is contained in:
Jakub Beránek 2024-08-12 18:46:06 +02:00
parent e08b80c0fb
commit 6863db5219

View File

@ -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