Flush (work in progress)

[mono.git] / mono / io-layer / shared.h

diff --git a/mono/io-layer/shared.h b/mono/io-layer/shared.h
index be256f23fc6a3cd0a009e5e2bb024e7e0cf3b85a..b2accf82c30399776d33ba827a7acc388195e2f7 100644 (file)
--- a/mono/io-layer/shared.h
+++ b/mono/io-layer/shared.h
@@ -17,6 +17,8 @@ typedef enum {
        WAPI_SHM_FILESHARE
 } _wapi_shm_t;
 
+extern gboolean _wapi_shm_disabled;
+
 extern gpointer _wapi_shm_attach (_wapi_shm_t type);
 extern void _wapi_shm_semaphores_init (void);
 extern void _wapi_shm_semaphores_remove (void);