From bb180cbb2e776b4a1233bfc9427578154d666fcc Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Fri, 5 Sep 2014 07:37:44 -0600
Subject: [PATCH] Add the .config file to the export package

---
 tools/mkimport.sh | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/tools/mkimport.sh b/tools/mkimport.sh
index 1d477b71a..38e48f010 100755
--- a/tools/mkimport.sh
+++ b/tools/mkimport.sh
@@ -165,6 +165,16 @@ fi
 mv ${SALLDIRS} ${IMPORTDIR}/. || \
 	{ echo "ERROR: Failed to move ${SALLDIRS} to ${IMPORTDIR}"; exit 1; }
 
+# Move the .config file in place in the import directory
+
+SFILES=".config"
+for file in ${SFILES}; do
+	if [ -f "${EXPORTDIR}/${file}" ]; then
+		cp -a ${EXPORTDIR}/${file} ${IMPORTDIR}/${file} || \
+			{ echo "ERROR: Failed to copy ${EXPORTDIR}/${file} to ${IMPORTDIR}/${file}"; exit 1; }
+	fi
+done
+
 # Finally, remove the temporary directory
 
 cd ${WD} || { echo "ERROR: Failed to cd to ${WD}"; exit 1; }