3 # Usage: $0 project_name url sha1
4 # Get the crate with the specified sha1.
6 # all arguments are required.
8 # See below link for git usage:
9 # https://stackoverflow.com/questions/3489173#14091182
11 # Mandatory arguments:
21 git clone $URL $PROJECT_NAME || err_exit
22 cd $PROJECT_NAME || err_exit
23 git reset --hard $SHA1 || err_exit