(Makefile.in): Edit MAKE assignment into @SET_MAKE@.

diff --git a/GNUmakefile b/GNUmakefile
index cf3d1a3..5a7fe80 100644 (file)
--- a/GNUmakefile
+++ b/GNUmakefile
@@ -172,7 +172,7 @@ nolib-deps = $(patsubst $(archpfx)%,%,$(depfiles))
 endif
 # The distributed Makefile.in should contain deps for remote-stub only.
 Makefile.in: compatMakefile $(nolib-deps:remote-%.dep=remote-stub.dep)
-       (cat $<; \
+       (sed 's/^MAKE[   ]*=.*$$/@SET_MAKE@/' $<; \
         echo '# Automatically generated dependencies.'; \
         sed -e 's/ [^ ]*\.dep//' -e 's=$(archpfx)==' $(filter-out $<,$^) \
        ) > $@