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 /lib/memchr2.h | |
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 'lib/memchr2.h')
0 files changed, 0 insertions, 0 deletions