From 9e21e8d9d7c5e18d7242eb9462f3943032bef341 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Sun, 25 May 2014 07:38:32 -0600
Subject: [PATCH] In-place SED edit can mess up permissions on Windows

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

diff --git a/tools/configure.sh b/tools/configure.sh
index a91da260e4..2a98edbe69 100755
--- a/tools/configure.sh
+++ b/tools/configure.sh
@@ -205,7 +205,11 @@ install -m 644 "${src_config}" "${dest_config}" || \
 # file
 
 if [ "X${defappdir}" = "Xy" ]; then
-  sed -i -e "/^CONFIG_APPS_DIR/d" "${dest_config}"
+  # In-place edit can mess up permissions on Windows
+  # sed -i -e "/^CONFIG_APPS_DIR/d" "${dest_config}"
+  sed -e "/^CONFIG_APPS_DIR/d" "${dest_config}" > "${dest_config}-temp"
+  mv "${dest_config}-temp" "${dest_config}"
+
   echo "" >> "${dest_config}"
   echo "# Application configuration" >> "${dest_config}"
   echo "" >> "${dest_config}"