Chris@42: #include <stdlib.h>
Chris@42: #include <stdio.h>
Chris@42: #include <stdarg.h>
Chris@42: #include "bench.h"
Chris@42: 
Chris@42: void ovtpvt(const char *format, ...)
Chris@42: {
Chris@42:      va_list ap;
Chris@42:      
Chris@42:      va_start(ap, format);
Chris@42:      if (verbose >= 0)
Chris@42: 	  vfprintf(stdout, format, ap);
Chris@42:      va_end(ap);
Chris@42:      fflush(stdout);
Chris@42: }
Chris@42: 
Chris@42: void ovtpvt_err(const char *format, ...)
Chris@42: {
Chris@42:      va_list ap;
Chris@42:      
Chris@42:      va_start(ap, format);
Chris@42:      if (verbose >= 0) {
Chris@42: 	  fflush(stdout);
Chris@42: 	  vfprintf(stderr, format, ap);
Chris@42:      }
Chris@42:      va_end(ap);
Chris@42:      fflush(stdout);
Chris@42: }