diff options
| author | joerg <joerg@pkgsrc.org> | 2014-11-20 15:24:57 +0000 |
|---|---|---|
| committer | joerg <joerg@pkgsrc.org> | 2014-11-20 15:24:57 +0000 |
| commit | f8f35e3bfac8354e3b0afe58701787c907411321 (patch) | |
| tree | 0a4514dca0cc911b17cd38f5496f495e48720432 /lang | |
| parent | 3e191ce90bdcc3fef7ffa7cfca22f8b47b2c1359 (diff) | |
| download | pkgsrc-f8f35e3bfac8354e3b0afe58701787c907411321.tar.gz | |
Really match all ARM variants.
Diffstat (limited to 'lang')
| -rw-r--r-- | lang/ocaml/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lang/ocaml/Makefile b/lang/ocaml/Makefile index 6e7cbe6e322..4a324475ea5 100644 --- a/lang/ocaml/Makefile +++ b/lang/ocaml/Makefile @@ -1,4 +1,4 @@ -# $NetBSD: Makefile,v 1.92 2014/11/20 15:22:44 joerg Exp $ +# $NetBSD: Makefile,v 1.93 2014/11/20 15:24:57 joerg Exp $ .include "Makefile.common" @@ -28,7 +28,7 @@ PLIST_SRC+= ${PKGDIR}/PLIST.stub # Optional components built only on certain platforms. .if (${MACHINE_ARCH} == "i386") || (${MACHINE_ARCH} == "powerpc") || \ - !empty(MACHINE_ARCH:Marm) || \ + !empty(MACHINE_ARCH:M*arm*) || \ (${MACHINE_ARCH} == "sparc") || (${MACHINE_ARCH} == "x86_64") BUILD_TARGET+= opt opt.opt PLIST_SRC+= ${PKGDIR}/PLIST.opt |