wok-current diff make/stuff/bug30723.patch @ rev 24065
grub2: declared CONFIG_FILES
author | Hans-G?nter Theisgen |
---|---|
date | Sun Jun 20 14:41:40 2021 +0100 (2021-06-20) |
parents | a882d098ba64 |
children |
line diff
1.1 --- a/make/stuff/bug30723.patch Mon Jan 17 18:24:29 2011 +0100 1.2 +++ b/make/stuff/bug30723.patch Sun Jun 20 14:41:40 2021 +0100 1.3 @@ -1,6 +1,6 @@ 1.4 -diff -Naur make-3.82-orig/main.c make-3.82-fix30723//main.c 1.5 +diff -Naur make-3.82-orig/main.c make-3.82-fix30723/main.c 1.6 --- make-3.82-orig/main.c 2010-07-19 17:10:53.000000000 +1000 1.7 -+++ make-3.82-fix30723//main.c 2010-09-23 23:34:10.932188592 +1000 1.8 ++++ make-3.82-fix30723/main.c 2010-09-23 23:34:10.932188592 +1000 1.9 @@ -2093,7 +2093,7 @@ 1.10 const char *pv = define_makeflags (1, 1); 1.11 char *p = alloca (sizeof ("MAKEFLAGS=") + strlen (pv) + 1);