From b116d3a45854f9c92e98c5526c1d6bccd3d9cfbe Mon Sep 17 00:00:00 2001
From: Alon Zakai <alonzakai@gmail.com>
Date: Wed, 7 Sep 2016 10:01:32 -0700
Subject: if we don't recognize the platform in colors.h, just do nothing for
 colors

---
 src/support/colors.h | 9 +++++++++
 1 file changed, 9 insertions(+)

(limited to 'src/support')

diff --git a/src/support/colors.h b/src/support/colors.h
index d81ecbc16..fb5267ce1 100644
--- a/src/support/colors.h
+++ b/src/support/colors.h
@@ -42,6 +42,15 @@ inline void grey(std::ostream& stream) { outputColorCode(stream, 0x08); }
 inline void green(std::ostream& stream) { outputColorCode(stream, 0x02); }
 inline void blue(std::ostream& stream) { outputColorCode(stream, 0x09); }
 inline void bold(std::ostream& stream) { /* Do nothing */ }
+#else
+inline void normal(std::ostream& stream) {}
+inline void red(std::ostream& stream) {}
+inline void magenta(std::ostream& stream) {}
+inline void orange(std::ostream& stream) {}
+inline void grey(std::ostream& stream) {}
+inline void green(std::ostream& stream) {}
+inline void blue(std::ostream& stream) {}
+inline void bold(std::ostream& stream) {}
 #endif
 };
 
-- 
cgit v1.2.3