Change log file format
commitb551d44d3f01d54a00d3ddcb2f23d9d4153848b6
authorBert Burgemeister <trebbu@googlemail.com>
Fri, 15 Apr 2016 08:47:07 +0000 (15 10:47 +0200)
committerBert Burgemeister <trebbu@googlemail.com>
Fri, 15 Apr 2016 08:47:07 +0000 (15 10:47 +0200)
tree26603655d9e06a9bde12284f31fbb0cf7ca4782f
parentedb5177d16e06305a2df1b53b5100ed986b418a5
Change log file format

- Specify time in microseconds instead of millisecons in order to
avoid localized decimal separator.
- Minor modifications to make it easier to turn the log file into
pipeglade input (by piping it through "cut -f2-").
pipeglade.1
pipeglade.c
pipegladetest.sh