diff options
Diffstat (limited to 'src/w32xfns.c')
| -rw-r--r-- | src/w32xfns.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/w32xfns.c b/src/w32xfns.c index 9b633c4c56a..b5b22c9aa52 100644 --- a/src/w32xfns.c +++ b/src/w32xfns.c @@ -48,6 +48,7 @@ init_crit (void) when the input queue is empty, so make it a manual reset event. */ input_available = CreateEvent (NULL, TRUE, FALSE, NULL); +#if HAVE_W32NOTIFY /* Initialize the linked list of notifications sets that will be used to communicate between the watching worker threads and the main thread. */ @@ -60,6 +61,7 @@ init_crit (void) } else DebPrint(("Out of memory: can't initialize notifications sets.")); +#endif #ifdef WINDOWSNT keyboard_handle = input_available; @@ -90,6 +92,7 @@ delete_crit (void) interrupt_handle = NULL; } +#if HAVE_W32NOTIFY if (notifications_set_head) { /* Free any remaining notifications set that could be left over. */ @@ -104,6 +107,7 @@ delete_crit (void) } } free (notifications_set_head); +#endif } void |