patch 9.0.1486: parallel make might not work

Problem: Parallel make might not work. Solution: Add missing dependencies. (Samuel Dionne-Riel, closes #12288)
2023-04-24 22:41:53 +01:00
parent 67672ef097
commit cfc788c388
2 changed files with 22 additions and 17 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -695,6 +695,8 @@ static char *(features[]) =

 static int included_patches[] =
 {   /* Add new patch number below this line */
+/**/
+    1486,
 /**/
    1485,
 /**/