From 46d6e1fd3dbe0bc116a46fdab91b40fe2ecd6803 Mon Sep 17 00:00:00 2001 From: redpony Date: Mon, 20 Sep 2010 18:50:30 +0000 Subject: support turning off verbose logging git-svn-id: https://ws10smt.googlecode.com/svn/trunk@652 ec762483-ff6d-05da-a07a-a48fb63a330f --- utils/verbose.h | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100644 utils/verbose.h (limited to 'utils/verbose.h') diff --git a/utils/verbose.h b/utils/verbose.h new file mode 100644 index 00000000..73476383 --- /dev/null +++ b/utils/verbose.h @@ -0,0 +1,8 @@ +#ifndef _VERBOSE_H_ +#define _VERBOSE_H_ + +extern bool SILENT; + +inline void SetSilent(bool s) { SILENT = s; } + +#endif -- cgit v1.2.3