4 Commits (791034fad92c9cd7a9d1c71187df03441bbfd521)

Author SHA1 Message Date
David Majda da9ab1bf17 Remove "make build" from tools/impact
There is no "build" target anymore.

This was forgotten in 0519d7e3ce.
12 years ago
David Majda bc5abfef5c Replace Jakefile with Makefile
Doing scripting tasks in JavaScript is painful.
13 years ago
David Majda 2d4ee4fb23 Make /tools/improve script measure speed 5 times and compute an average
I measured speed 5 times manually too before introducing the script. It
gives more stable results.
13 years ago
David Majda d0c96481bf Add /tools/impact script to measure speed and size impact of commits 13 years ago