wok-current view 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 source
1 diff -Naur make-3.82-orig/main.c make-3.82-fix30723/main.c
2 --- make-3.82-orig/main.c 2010-07-19 17:10:53.000000000 +1000
3 +++ make-3.82-fix30723/main.c 2010-09-23 23:34:10.932188592 +1000
4 @@ -2093,7 +2093,7 @@
5 const char *pv = define_makeflags (1, 1);
6 char *p = alloca (sizeof ("MAKEFLAGS=") + strlen (pv) + 1);
7 sprintf (p, "MAKEFLAGS=%s", pv);
8 - putenv (p);
9 + putenv (allocated_variable_expand (p));
10 }
11
12 if (ISDB (DB_BASIC))