1 files changed, 14 insertions, 0 deletions
diff --git a/src/bin/exactness/common.c b/src/bin/exactness/common.c
new file mode 100644
index 0000000000..17983cdbc6
--- /dev/null
+++ b/src/bin/exactness/common.c
@@ -0,0 +1,14 @@
+#include "common.h"
+
+static int _verbose = 0;
+
+void
+ex_printf(int verbose, const char *fmt, ...)
+{
+   va_list ap;
+   if (!_verbose || verbose > _verbose) return;
+
+   va_start(ap, fmt);
+   vprintf(fmt, ap);
+   va_end(ap);
+}