xmllint: Build fix for endTimer if !defined(HAVE_GETTIMEOFDAY)

For https://bugzilla.gnome.org/show_bug.cgi?id=638649
code was broken !
This commit is contained in:
Patrick R. Gansterer 2012-05-10 22:17:51 +08:00 committed by Daniel Veillard
parent a4fe9b26d3
commit 023206fc08

View File

@ -520,10 +520,11 @@ endTimer(char *format, ...)
* We cannot do anything because we don't have a timing function
*/
#ifdef HAVE_STDARG_H
va_list ap;
va_start(ap, format);
vfprintf(stderr, format, ap);
va_end(ap);
fprintf(stderr, " was not timed\n", msec);
fprintf(stderr, " was not timed\n");
#else
/* We don't have gettimeofday, time or stdarg.h, what crazy world is
* this ?!