diff options
Diffstat (limited to 'lang')
-rw-r--r-- | lang/ocaml/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/ocaml/Makefile b/lang/ocaml/Makefile index 3d5f2cec1c6d..24fcda7004b2 100644 --- a/lang/ocaml/Makefile +++ b/lang/ocaml/Makefile @@ -166,7 +166,7 @@ post-install: ${INSTALL_DATA} ${_DISTDIR}${DOCSDISTNAME}-refman.pdf ${STAGEDIR}${DOCSDIR} .endif # Spacetime profiling is only available for native code on 64-bit targets -.if ${ARCH} == armv7 || ${ARCH} == i386 || ${ARCH} == powerpc +.if ${ARCH} == armv6 || ${ARCH} == armv7 || ${ARCH} == i386 || ${ARCH} == powerpc @${REINPLACE_CMD} -e '/raw_spacetime_lib/d' ${TMPPLIST} .endif |