diff options
author | Patrick R. Gansterer <paroga@paroga.com> | 2012-05-10 22:17:51 +0800 |
---|---|---|
committer | Daniel Veillard <veillard@redhat.com> | 2012-05-10 22:17:51 +0800 |
commit | 023206fc0839de485a69aeec44ac7a89fcbe8bf6 (patch) | |
tree | 7225a3c082a26d172cfb8dc0a4738e23bde8849c /xmllint.c | |
parent | a4fe9b26d3bf7000362dbc2e55a6821710f78a34 (diff) | |
download | libxml2-023206fc0839de485a69aeec44ac7a89fcbe8bf6.tar.gz |
xmllint: Build fix for endTimer if !defined(HAVE_GETTIMEOFDAY)
For https://bugzilla.gnome.org/show_bug.cgi?id=638649
code was broken !
Diffstat (limited to 'xmllint.c')
-rw-r--r-- | xmllint.c | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -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 ?! |