diff options
| author | js <js@pkgsrc.org> | 2020-12-05 13:15:58 +0000 |
|---|---|---|
| committer | js <js@pkgsrc.org> | 2020-12-05 13:15:58 +0000 |
| commit | 3148f8b5afae359fdbf503f81de5eccc352a45fa (patch) | |
| tree | e9d54d9670b06089aa1f73f984dc906a59ee355b /mk/tools | |
| parent | 321be3e1662e3631882a258665e5f1e3accebec9 (diff) | |
| download | pkgsrc-3148f8b5afae359fdbf503f81de5eccc352a45fa.tar.gz | |
tools.Linux.mk: Consider /bin/find as well
Diffstat (limited to 'mk/tools')
| -rw-r--r-- | mk/tools/tools.Linux.mk | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/mk/tools/tools.Linux.mk b/mk/tools/tools.Linux.mk index 4239f26f0e4..ff47fe61351 100644 --- a/mk/tools/tools.Linux.mk +++ b/mk/tools/tools.Linux.mk @@ -1,4 +1,4 @@ -# $NetBSD: tools.Linux.mk,v 1.64 2020/05/28 14:47:36 nia Exp $ +# $NetBSD: tools.Linux.mk,v 1.65 2020/12/05 13:15:58 js Exp $ # # System-supplied tools for the Linux operating system. @@ -99,7 +99,11 @@ TOOLS_PLATFORM.fgrep?= /usr/bin/fgrep TOOLS_PLATFORM.gfgrep?= /usr/bin/fgrep .endif TOOLS_PLATFORM.file?= /usr/bin/file +.if exists(/bin/find) +TOOLS_PLATFORM.find?= /bin/find +.else TOOLS_PLATFORM.find?= /usr/bin/find +.endif .if exists(/etc/debian_version) . if exists(/usr/bin/gawk) TOOLS_PLATFORM.gawk?= /usr/bin/gawk |