summaryrefslogtreecommitdiffstats
path: root/src/test/run-make/git_clone_sha1.sh
blob: 626e4e4276121699a9bcf3090844212943503a6c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#!/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