From 947c10e099ea4e322365bcb23ca0fc08a3ee8c80 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Mon, 9 Jul 2018 05:42:42 -0600
Subject: [PATCH] tools/mkexport.sh:  Save the User.map file in the export
 package if available.

---
 tools/mkexport.sh | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/tools/mkexport.sh b/tools/mkexport.sh
index 06c42f24e88..619d9d52270 100755
--- a/tools/mkexport.sh
+++ b/tools/mkexport.sh
@@ -235,12 +235,16 @@ else
 	echo "ARCHCXXFLAGS = ${ARCHCXXFLAGS}" >>"${EXPORTDIR}/build/Make.defs"
 fi
 
-# Copy the system map file
+# Copy the system map file(s)
 
 if [ -r ${TOPDIR}/System.map ]; then
 	cp -a "${TOPDIR}/System.map" "${EXPORTDIR}/."
 fi
 
+if [ -r ${TOPDIR}/User.map ]; then
+        cp -a "${TOPDIR}/User.map" "${EXPORTDIR}/."
+fi
+
 # Copy the NuttX include directory (retaining attributes and following symbolic links)
 
 cp -LR -p "${TOPDIR}/include" "${EXPORTDIR}/." || \