tools/mkexport.sh: Save the name of the STRIP tool too.

This commit is contained in:
Gregory Nutt 2018-09-04 17:18:16 -06:00
parent e88759e53d
commit 3611aefd14

View File

@ -217,6 +217,7 @@ if [ "X${USRONLY}" == "Xy" ]; then
echo "AR = ${AR}" >>"${EXPORTDIR}/build/Make.defs"
echo "NM = ${NM}" >>"${EXPORTDIR}/build/Make.defs"
echo "OBJCOPY = ${OBJCOPY}" >>"${EXPORTDIR}/build/Make.defs"
echo "STRIP = ${STRIP}" >>"${EXPORTDIR}/build/Make.defs"
echo "OBJDUMP = ${OBJDUMP}" >>"${EXPORTDIR}/build/Make.defs"
echo "NXFLATLDFLAGS1 = ${NXFLATLDFLAGS1}" >>"${EXPORTDIR}/build/Make.defs"
echo "NXFLATLDFLAGS2 = ${NXFLATLDFLAGS2}" >>"${EXPORTDIR}/build/Make.defs"