Browse Source

Remove "make build" from tools/impact

There is no "build" target anymore.

This was forgotten in 0519d7e3ce.
redux
David Majda 9 years ago
parent
commit
da9ab1bf17
  1. 1
      tools/impact

1
tools/impact

@ -9,7 +9,6 @@ set -e
prepare() {
git checkout --quiet "$1"
make build
}
run_benchmark() {

Loading…
Cancel
Save