From ec48d6644fc54cfa8c7510e821561e0e455d3e42 Mon Sep 17 00:00:00 2001 From: epg Date: Tue, 19 Feb 2008 03:03:08 +0000 Subject: Look for mktemp in /bin, too, where Debian systems keep it. --- mk/tools/tools.Linux.mk | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'mk') 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 -- cgit v1.2.3