diff options
| author | Paul Eggert <eggert@cs.ucla.edu> | 2020-08-01 16:19:37 -0700 |
|---|---|---|
| committer | Paul Eggert <eggert@cs.ucla.edu> | 2020-08-01 16:19:37 -0700 |
| commit | ed5f8be830336287357038c17a7b9efa1887a591 (patch) | |
| tree | 0e04577d9a0cbe68d0c6ffa7cc6dcc99e5fd5a77 /.gitignore | |
| parent | 974e430fd72722cda11f461ec53db8f556609a19 (diff) | |
| download | gnulib-ed5f8be830336287357038c17a7b9efa1887a591.tar.gz | |
gnumakefile: say ‘$(MAKE)’ not ‘make’
* top/GNUmakefile (abort-due-to-no-makefile):
Prefer ‘$(MAKE)’ to ‘make’ in a diagnostic.
This change is backported from Autoconf.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions