patch 8.0.0117

Problem: Parallel make fails. (J. Lewis Muir) Solution: Make sure the objects directory exists. (closes #1259)
2016-12-01 21:46:14 +01:00
parent 6dbf66aa3e
commit 327054df45
2 changed files with 22 additions and 5 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -764,6 +764,8 @@ static char *(features[]) =

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