Commit 7f7d18ebc66d7894d86cb26bae855895a2f359e0
2019-06-22T17:52:16
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.