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