From 3611aefd1481ea612e76ef07551f652118d0b6fa Mon Sep 17 00:00:00 2001 From: Gregory Nutt Date: Tue, 4 Sep 2018 17:18:16 -0600 Subject: [PATCH] tools/mkexport.sh: Save the name of the STRIP tool too. --- tools/mkexport.sh | 1 + 1 file changed, 1 insertion(+) diff --git a/tools/mkexport.sh b/tools/mkexport.sh index 619d9d5227..af50330b16 100755 --- a/tools/mkexport.sh +++ b/tools/mkexport.sh @@ -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"