Re: Tom Lane 2018-04-12 <10354.1523558160@sss.pgh.pa.us>
> ... or then again, maybe I do. Is it possible that your build
> recipe involves invoking our makefiles from an outer "make" run?
> If so, maybe you need to explicitly set MAKELEVEL=0 when invoking
> our build, to keep it from thinking it is a sub-make. Not sure
> about whether it'd be wise to reset MAKEFLAGS as well.
I don't know about Devrim's case, but debian/rules is indeed a
makefile. Will look closer again once I'm back from pgconf.de, thanks
for the hint.
Christoph