David Majda
fdd6e66321
tools/impact: Set locale to C at the beginning
...
Without this, shell's printf is unreliable. For example, on OSX with
cs_CZ.UTF-8 locale it complained about number formatting:
tools/impact: line 51: printf: .0300: invalid number
2016-01-15 15:55:19 +01:00
David Majda
8eeb0d1469
tools/impact: Use printf instead of echo -n
...
It turns out that on OS X, /bin/sh pretends it doesn't know the echo -n
option and just prints it with other input.
2016-01-15 15:54:27 +01:00
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
