X-Git-Url: http://plrg.eecs.uci.edu/git/?p=c11tester.git;a=blobdiff_plain;f=output.h;h=b51c1de5b4c987db01e1c40e134a67ac06e6783a;hp=ca55b7a682352c9c67ad0d523a0f416d17991761;hb=251ac4b4bf3a9f2d3cfacc1e6618200ca1c431ac;hpb=80f5924fb6c148ecb703dfeae5a751948062588b;ds=inline

diff --git a/output.h b/output.h
index ca55b7a6..b51c1de5 100644
--- a/output.h
+++ b/output.h
@@ -5,8 +5,16 @@
 #ifndef __OUTPUT_H__
 #define __OUTPUT_H__
 
+#include "config.h"
+
+#ifdef CONFIG_DEBUG
+static inline void redirect_output() { }
+static inline void clear_program_output() { }
+static inline void print_program_output() { }
+#else
 void redirect_output();
 void clear_program_output();
 void print_program_output();
+#endif	/* ! CONFIG_DEBUG */
 
-#endif /* __OUTPUT_H__ */
+#endif	/* __OUTPUT_H__ */