]> Savannah Git Hosting - gnulib.git/commit
maintainer-makefile: restore portability to non-GNU awks
authorAkim Demaille <akim.demaille@gmail.com>
Sat, 22 Jun 2019 15:52:16 +0000 (17:52 +0200)
committerAkim Demaille <akim.demaille@gmail.com>
Mon, 24 Jun 2019 15:55:48 +0000 (17:55 +0200)
commit7f7d18ebc66d7894d86cb26bae855895a2f359e0
treef88918d48fae4082d99bd00306cc6412fec7daf2
parent232ba923073d6f1bebb6ae1baaa7feb68b90619a
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.
ChangeLog
top/maint.mk