xmllint: Build fix for endTimer if !defined(HAVE_GETTIMEOFDAY) For https://bugzilla.gnome.org/show_bug.cgi?id=638649 code was broken !
2012-05-10T22:17:51