On Mon, Jun 11, 2012 at 11:45 AM, Iustin Pop <[email protected]> wrote: > Due to the way $(MAKE) behaves (it forces execution of the commands > that contain it), use of $(MAKE) in a command line together with > side-effects commands will break stuff. It's better to keep it either > on a separate line, or if not possible, move said commands to a > separate make target. > > After this patch, make -n distcheck, make -n regen-vcs-version and > possibly other commands now work correctly.
LGTM Thanks, Guido
