Re: Tom Lane 2018-04-12 <10354.1523558...@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