patch 8.0.0915: wrong initialisation of global

Problem:    Wrong initialisation of global.
Solution:   Use INIT().

diff --git a/src/globals.h b/src/globals.h
index d420560988e9378263ea7f9ce3c69496d9e0a3c8..8fb12050e501aa3dad2c21f994942fcefd337406 100644 (file)
--- a/src/globals.h
+++ b/src/globals.h
@@ -1672,7 +1672,7 @@ EXTERN int *eval_lavars_used INIT(= NULL);
 #endif
 
 #ifdef WIN3264
-EXTERN int ctrl_break_was_pressed = FALSE;
+EXTERN int ctrl_break_was_pressed INIT(= FALSE);
 #endif
 
 /*

diff --git a/src/version.c b/src/version.c
index 72701c94b3068e4864aa9811771ff7697a1e0a34..306aeb428017cf1763bdb5ce1c3b25b7b7725113 100644 (file)
--- a/src/version.c
+++ b/src/version.c
@@ -769,6 +769,8 @@ static char *(features[]) =
 
 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    915,
 /**/
     914,
 /**/