diff --git a/tools/mkexport.sh b/tools/mkexport.sh index 619d9d52270..af50330b165 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"