patch 8.1.0612: cannot use two global runtime dirs with configure

Problem: Cannot use two global runtime dirs with configure. Solution: Support a comma in --with-global-runtime. (James McCoy, closes #3704)
2018-12-21 11:48:51 +01:00
parent a79fd56923
commit 9d302ad4e3
7 changed files with 54 additions and 18 deletions
--- a/src/version.c
+++ b/src/version.c
@@ -799,6 +799,8 @@ static char *(features[]) =

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