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 |
|
|
David Majda
|
bc5abfef5c
|
Replace Jakefile with Makefile
Doing scripting tasks in JavaScript is painful.
|
2012-03-04 11:46:28 +01:00 |
|
|
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.
|
2011-09-03 18:51:30 +02:00 |
|
|
David Majda
|
d0c96481bf
|
Add /tools/impact script to measure speed and size impact of commits
|
2011-09-03 17:40:26 +02:00 |
|