diff options
-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 398af1dbae5..ac8b44bd42a 100644 --- a/mk/tools/tools.Linux.mk +++ b/mk/tools/tools.Linux.mk @@ -1,4 +1,4 @@ -# $NetBSD: tools.Linux.mk,v 1.41 2007/06/19 14:21:19 joerg Exp $ +# $NetBSD: tools.Linux.mk,v 1.42 2008/02/19 03:03:08 epg Exp $ # # System-supplied tools for the Linux operating system. @@ -147,6 +147,8 @@ TOOLS_PLATFORM.makeinfo?= /usr/bin/makeinfo TOOLS_PLATFORM.mkdir?= /bin/mkdir -p .if exists(/usr/bin/mktemp) TOOLS_PLATFORM.mktemp?= /usr/bin/mktemp +.elif exists(/bin/mktemp) +TOOLS_PLATFORM.mktemp?= /bin/mktemp .endif .if exists(/usr/bin/msgfmt) TOOLS_PLATFORM.msgfmt?= /usr/bin/msgfmt |