diff options
Diffstat (limited to 'editors/wily/Makefile')
| -rw-r--r-- | editors/wily/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/wily/Makefile b/editors/wily/Makefile index 4b4708ee28a2..f2aa8f310ac3 100644 --- a/editors/wily/Makefile +++ b/editors/wily/Makefile @@ -42,7 +42,7 @@ WILYDOCFILES= index.html intro.html download.html credits.html FAQ.html \ # The default Wily makefile does not install any documentation. Rectify. post-install: - strip ${PREFIX}/bin/wily + ${STRIP_CMD} ${PREFIX}/bin/wily .if !defined(NOPORTDOCS) ${MKDIR} ${WILYDOCDIR} ${WILYTUTEDIR} set -e; for f in ${WILYDOCFILES}; do \ |