diff options
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/tools/tools.Linux.mk | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/mk/tools/tools.Linux.mk b/mk/tools/tools.Linux.mk index ad64b574d54..ec0b9326542 100644 --- a/mk/tools/tools.Linux.mk +++ b/mk/tools/tools.Linux.mk @@ -1,4 +1,4 @@ -# $NetBSD: tools.Linux.mk,v 1.35 2006/06/20 22:32:28 minskim Exp $ +# $NetBSD: tools.Linux.mk,v 1.36 2006/06/26 18:14:51 joerg Exp $ # # System-supplied tools for the Linux operating system. @@ -61,7 +61,9 @@ TOOLS_PLATFORM.fgrep?= /usr/bin/fgrep TOOLS_PLATFORM.file?= /usr/bin/file TOOLS_PLATFORM.find?= /usr/bin/find TOOLS_PLATFORM.gawk?= /usr/bin/awk +.if exists(/usr/bin/m4) TOOLS_PLATFORM.gm4?= /usr/bin/m4 +.endif .if exists(/usr/bin/make) TOOLS_PLATFORM.gmake?= /usr/bin/make .endif |