| #!/bin/bash |
| |
| echo "This script deletes `benchmark`, clones it from github, together" |
| echo "with its dependencies. It then removes .git* files and dirs." |
| echo "NOTE!!!" |
| echo "Please double-check the benchmark github wiki for any changes" |
| echo "to dependencies. Currently, these are limited to googletest." |
| echo |
| read -p "Press a key to continue, or Ctrl+C to cancel" |
| |
| rm -rf benchmark |
| git clone https://github.com/google/benchmark.git |
| rm -rf benchmark/.git* |
| find benchmark/ -name BUILD -delete |
| find benchmark/ -name BUILD.bazel -delete |
| find benchmark/ -name WORKSPACE -delete |
| |
