tree 48855be786e9696ddd8a5d275ab91951bc337dc2
parent f5a457a3ac384dc8b32d9123c88f5afba14dc8ba
author Daniel Veillard <veillard@src.gnome.org> 1015500060 +0000
committer Daniel Veillard <veillard@src.gnome.org> 1015500060 +0000

trying to fix #71457 for timing precision when gettimeofday() is not

* configure.in xmllint.c: trying to fix #71457 for timing
  precision when gettimeofday() is not availble but ftime() is
Daniel