Fixed use of dprintf(). The define of dprintf() is a part <stdio.h> in
authoroleg <oleg>
Wed, 19 May 2004 05:32:47 +0000 (05:32 +0000)
committeroleg <oleg>
Wed, 19 May 2004 05:32:47 +0000 (05:32 +0000)
commitd57c9b0a346d64f0ed2a1003d90365794564e0b6
tree9912be44ce3399e26cd875642b6ff83ccad85ad3
parent422c5109f981fefdd87bd3f95c41cc799a645ffc
Fixed use of dprintf(). The define of dprintf() is a part <stdio.h> in
some linux based OS.
util/benchmark.c