diff --git a/src/shared.c b/src/shared.c index 8ea92e442..dc532a32f 100644 --- a/src/shared.c +++ b/src/shared.c @@ -7,6 +7,10 @@ #include "types.h" #include "shared.h" +#if defined (__CYGWIN__) +#include +#endif + static inline int get_msb32 (const u32 v) { int i; @@ -304,6 +308,10 @@ void setup_environment_variables () if (getenv ("POCL_KERNEL_CACHE") == NULL) putenv ((char *) "POCL_KERNEL_CACHE=0"); + + #if defined (__CYGWIN__) + cygwin_internal (CW_SYNC_WINENV); + #endif } void setup_umask ()