On Mon, Sep 03, 2018 at 12:00:21PM +0200, Borislav Petkov wrote: > On Mon, Sep 03, 2018 at 06:54:12PM +0900, Masahiro Yamada wrote: > > You are right - I missed this usecase, > > but I still want to excuse "it is rare enough". > > Isn't there a Makefile way to check file existence before including it? Sure there is, you can use $(wildcard ) . Segher