On Thu, Jan 20, 2022 at 1:39 PM Paul Smith <psm...@gnu.org> wrote: > > On Thu, 2022-01-20 at 09:56 +0800, Hongyi Zhao wrote: > > See here [1] for the complete recipe of the above-mentioned Makefile > > script. > > > > [1] > > https://github.com/torvalds/linux/blob/master/scripts/Makefile.clean > > I don't see any instances of any recipe lines using "+" in that > makefile.
Really. Maybe this is due that the referenced version from StackOverflow is a very old one, as indicated by the author's posting date: answered May 29 '13 at 16:04 HZ
