1 files changed, 14 insertions, 0 deletions
diff --git a/src/common/dout.cc b/src/common/dout.cc
new file mode 100644
index 000000000..4bbbfc8fc
--- /dev/null
+++ b/src/common/dout.cc
@@ -0,0 +1,14 @@
+
+#include <iostream>
+
+void dout_emergency(const char * const str)
+{
+  std::cerr << str;
+  std::cerr.flush();
+}
+
+void dout_emergency(const std::string &str)
+{
+  std::cerr << str;
+  std::cerr.flush();
+}