On Fri, May 31, 2019 at 06:02:53PM +0100, Andre Przywara wrote: > On Thu, 30 May 2019 16:13:06 +0100 > Dave Martin <[email protected]> wrote: > > > update_headers.sh can break if the current working directory has a > > funny name or if something odd is passed for LINUX_ROOT. > > Do you actually have spaces in your Linux path? ;-)
No. I'm assuming that people using a fancy desktop need to call it "My Linux Kernel" in order to comprehend what it is though. (Only joking!) > > In the interest of cleanliness, quote where appropriate. > > > > Signed-off-by: Dave Martin <[email protected]> > > Looks alright to me: > > Reviewed-by: Andre Przywara <[email protected]> [...] Thanks ---Dave _______________________________________________ kvmarm mailing list [email protected] https://lists.cs.columbia.edu/mailman/listinfo/kvmarm
