Re: Tom Lane 2018-04-12 <10354(dot)1523558160(at)sss(dot)pgh(dot)pa(dot)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