third-party/update_benchmark.sh

   1 #!/bin/bash
   2
   3 echo "This script deletes `benchmark`, clones it from github, together"
   4 echo "with its dependencies. It then removes .git* files and dirs."
   5 echo "NOTE!!!"
   6 echo "Please double-check the benchmark github wiki for any changes"
   7 echo "to dependencies. Currently, these are limited to googletest."
   8 echo
   9 read -p "Press a key to continue, or Ctrl+C to cancel"
  10
  11 rm -rf benchmark
  12 git clone https://github.com/google/benchmark.git
  13 rm -rf benchmark/.git*
  14 find benchmark/ -name BUILD -delete
  15 find benchmark/ -name BUILD.bazel -delete
  16 find benchmark/ -name WORKSPACE -delete
  17