Re: [Xen-devel] [PATCH v2] build: change MINI-OS_ROOT to MINIOS_ROOT

2016-05-04 Thread Wei Liu
On Mon, May 02, 2016 at 06:26:35PM +0100, Wei Liu wrote: > In the GNU make manual "How to Use Variables" section there is such > word: > > "However, variable names containing characters other than letters, > numbers, and underscores should be considered carefully, as in some > shells they cannot b

[Xen-devel] [PATCH v2] build: change MINI-OS_ROOT to MINIOS_ROOT

2016-05-02 Thread Wei Liu
In the GNU make manual "How to Use Variables" section there is such word: "However, variable names containing characters other than letters, numbers, and underscores should be considered carefully, as in some shells they cannot be passed through the environment to a sub-make (see Communicating Var