diff options
author | epg <epg@pkgsrc.org> | 2008-02-19 03:03:08 +0000 |
---|---|---|
committer | epg <epg@pkgsrc.org> | 2008-02-19 03:03:08 +0000 |
commit | ec48d6644fc54cfa8c7510e821561e0e455d3e42 (patch) | |
tree | 79f8ed512c475b8f06681acd9542239c71631edc /mk | |
parent | 02ba7abfce4d2b3ec2098ddbf31daf5a8d5fcaa4 (diff) | |
download | pkgsrc-ec48d6644fc54cfa8c7510e821561e0e455d3e42.tar.gz |
Look for mktemp in /bin, too, where Debian systems keep it.
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 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 |