3 # Copyright 2018 The Rust Project Developers. See the COPYRIGHT
4 # file at the top-level directory of this distribution and at
5 # http://rust-lang.org/COPYRIGHT.
7 # Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
8 # http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
9 # <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
10 # option. This file may not be copied, modified, or distributed
11 # except according to those terms.
13 # Usage: $0 project_name url sha1
14 # Get the crate with the specified sha1.
16 # all arguments are required.
18 # See below link for git usage:
19 # https://stackoverflow.com/questions/3489173#14091182
21 # Mandatory arguments:
31 git clone $URL $PROJECT_NAME || err_exit
32 cd $PROJECT_NAME || err_exit
33 git reset --hard $SHA1 || err_exit