[io-layer] Print from which pipe we just read

[mono.git] / mono / io-layer / process-private.h

diff --git a/mono/io-layer/process-private.h b/mono/io-layer/process-private.h
index 86a8cf3137d4f9aeaec10bc943c681243d2787da..ddd6e863f36623426672ab8244c2fdf9f7ae216b 100644 (file)
--- a/mono/io-layer/process-private.h
+++ b/mono/io-layer/process-private.h
@@ -13,6 +13,8 @@
 #include <config.h>
 #include <glib.h>
 
+#include <mono/utils/mono-os-semaphore.h>
+
 /* There doesn't seem to be a defined symbol for this */
 #define _WAPI_PROCESS_CURRENT (gpointer)0xFFFFFFFF