Use db_printf instead of dprintf which is a public symbol in many systems
authorAdam Dickmeiss <adam@indexdata.dk>
Tue, 15 Jun 2004 09:58:13 +0000 (09:58 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Tue, 15 Jun 2004 09:58:13 +0000 (09:58 +0000)
commitf4c4fc8248cfd5ceb834003b237359343aca9b38
tree3fd10af37f2d196c069321397406d1994cf199e7
parenta4c13e5a8035fed703ebcd1580e9dcfdd9929722
Use db_printf instead of dprintf which is a public symbol in many systems
configure.in
util/benchmark.c