src/test/run-make/git_clone_sha1.sh

   1 #!/bin/bash -x
   2
   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.
   6 #
   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.
  12
  13 # Usage: $0 project_name url sha1
  14 # Get the crate with the specified sha1.
  15 #
  16 # all arguments are required.
  17 #
  18 # See below link for git usage:
  19 # https://stackoverflow.com/questions/3489173#14091182
  20
  21 # Mandatory arguments:
  22 PROJECT_NAME=$1
  23 URL=$2
  24 SHA1=$3
  25
  26 function err_exit() {
  27     echo "ERROR:" $*
  28     exit 1
  29 }
  30
  31 git clone $URL $PROJECT_NAME || err_exit
  32 cd $PROJECT_NAME || err_exit
  33 git reset --hard $SHA1 || err_exit