| #!/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 |