David Majda da9ab1bf17 Remove "make build" from tools/impact ... There is no "build" target anymore. This was forgotten in 0519d7e3ce.		2012-12-02 13:04:57 +01:00
..
impact	Remove "make build" from tools/impact	2012-12-02 13:04:57 +01:00