18 lines · bash
1#!/bin/bash2 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."8echo9read -p "Press a key to continue, or Ctrl+C to cancel"10 11rm -rf benchmark12git clone https://github.com/google/benchmark.git13rm -rf benchmark/.git*14find benchmark/ -name BUILD -delete15find benchmark/ -name BUILD.bazel -delete16find benchmark/ -name WORKSPACE -delete17 18