1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-19 00:13:33 +00:00

lang/python37: Use ECHO_CMD instead of ECHO

This commit is contained in:
Po-Chuan Hsieh 2021-07-19 01:54:21 +08:00
parent fea814f5a4
commit 9115c46e8a
No known key found for this signature in database
GPG Key ID: 9A4BD10F002DD04B

View File

@ -118,9 +118,9 @@ post-patch:
@${REINPLACE_CMD} -e 's|uuid/uuid.h|ignore_&|' ${WRKSRC}/configure
@${REINPLACE_CMD} -e '/find_library_file/ s|uuid|ignore_&|' ${WRKSRC}/setup.py
# Apply DISABLED_EXTENSIONS
@${ECHO} '*disabled*' > ${WRKSRC}/Modules/Setup.local
@${ECHO_CMD} '*disabled*' > ${WRKSRC}/Modules/Setup.local
. for _module in ${DISABLED_EXTENSIONS}
@${ECHO} ${_module} >> ${WRKSRC}/Modules/Setup.local
@${ECHO_CMD} ${_module} >> ${WRKSRC}/Modules/Setup.local
. endfor
post-install: