summaryrefslogtreecommitdiff
path: root/lang/gnat
diff options
context:
space:
mode:
authorSergey A. Osokin <osa@FreeBSD.org>2003-09-24 09:37:11 +0000
committerSergey A. Osokin <osa@FreeBSD.org>2003-09-24 09:37:11 +0000
commitf37f7775e3bcaa6fa808e1a5e037deae35d5b262 (patch)
treedfd75e4de6392a8352e2ab1fc6550d87dccdb06c /lang/gnat
parent- Update to version 0.7.10 (diff)
Make portlint(1) happy by changing strip to ${STRIP_CMD}
Submitted by: Oleg Karachevtsev <ok@etrust.ru> PR: 56998
Diffstat (limited to 'lang/gnat')
-rw-r--r--lang/gnat/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/lang/gnat/Makefile b/lang/gnat/Makefile
index 363b40ea5c48..e062d2770137 100644
--- a/lang/gnat/Makefile
+++ b/lang/gnat/Makefile
@@ -245,7 +245,7 @@ post-install:
${PREFIX}/lib/gcc-lib/${GNUHOST}/${GCC_VERSION}/gnat1 \
${PREFIX}/lib/gcc-lib/${GNUHOST}/${GCC_VERSION}/cpp ; do \
if [ -x $$prog ]; then \
- strip $$prog ; \
+ ${STRIP_CMD} $$prog ; \
fi \
done)
@(${TOUCH} ${TOUCH_FLAGS} ${PREFIX}/lib/gcc-lib/${GNUHOST}/${GCC_VERSION}/include/float.h)