diff --git a/tools/impact b/tools/impact index 89d79bf..d9edc74 100755 --- a/tools/impact +++ b/tools/impact @@ -9,7 +9,6 @@ set -e prepare() { git checkout --quiet "$1" - make build } run_benchmark() {