blob: 6d131d77ebf12b237c03d51ead2e5c82def9f6f6 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#!/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*
|
