> From: "Alfred M. Szmidt" <a...@gnu.org> > Date: Fri, 01 Jan 2021 11:02:22 -0500 > > Is there some way of detecting or specifying that a Makefile is GNU > make specific?
Name the file GNUmakefile?
- detecting if a Makefile is GNU make-ish Alfred M. Szmidt
- Re: detecting if a Makefile is GNU make-ish Eli Zaretskii
- Re: detecting if a Makefile is GNU make-ish Alfred M. Szmidt
- Re: detecting if a Makefile is GNU make-ish Paul Smith
