filtering job options from MAKEFLAGS, manually

2019-01-23 Thread Laszlo Ersek
Hi! I've got a peculiar problem. There is an outer makefile and an inner makefile. The inner makefile comes from a project (a git submodule) that is maintained separately from the outer makefile (the git superproject). The outer makefile is "make -j"-clean. The inner makefile isn't. In the outer

Re: filtering job options from MAKEFLAGS, manually

2019-01-23 Thread Laszlo Ersek
On 01/23/19 15:45, David Boyce wrote: > And don't forget that many clever things can be done with --exec, e.g. > "--exec .NOTPARALLEL:". But -j1 seems simpler in this case. > > On Wed, Jan 23, 2019 at 8:51 AM Paul Smith wrote: > >> On Wed, 2019-01-2

Re: filtering job options from MAKEFLAGS, manually

2019-01-23 Thread Laszlo Ersek
f the ā€˜-j’ option is given ... Any prerequisites on > this target are ignored. My bad, you are right! Thanks! Laszlo > On Wed, Jan 23, 2019 at 5:10 PM Laszlo Ersek wrote: > >> On 01/23/19 15:45, David Boyce wrote: >>> And don't forget that many clever things can b