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
|
