diff options
| author | Akim Demaille <akim.demaille@gmail.com> | 2019-06-22 17:52:16 +0200 |
|---|---|---|
| committer | Akim Demaille <akim.demaille@gmail.com> | 2019-06-24 17:55:48 +0200 |
| commit | 7f7d18ebc66d7894d86cb26bae855895a2f359e0 (patch) | |
| tree | f88918d48fae4082d99bd00306cc6412fec7daf2 /.gitattributes | |
| parent | 232ba923073d6f1bebb6ae1baaa7feb68b90619a (diff) | |
| download | gnulib-7f7d18ebc66d7894d86cb26bae855895a2f359e0.tar.gz | |
maintainer-makefile: restore portability to non-GNU awks
Reported by Tim Rühsen.
* top/maint.mk (AWK): New variable. Use it.
(sc_prohibit_gnu_make_extensions): Skip if $(AWK) is not gawk.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions