From b11efcd7d97938e59fd2d5ec293cd98ccce2384e Mon Sep 17 00:00:00 2001
From: Kynos <mail01@delago.net>
Date: Sat, 24 May 2014 21:56:54 +0200
Subject: Fix for sed "permission denied" error in Windows build

Cygwin sed in-place edit (option -i) broken, will mess up permissions.
Changed to work without in-place edit.
---
 nuttx/tools/configure.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/nuttx/tools/configure.sh b/nuttx/tools/configure.sh
index 89f2e2fbc..5d8f9b135 100755
--- a/nuttx/tools/configure.sh
+++ b/nuttx/tools/configure.sh
@@ -208,7 +208,8 @@ install "${src_config}" "${dest_config}" || \
 # file
 
 if [ "X${defappdir}" = "Xy" ]; then
-  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}"
-- 
cgit v1.2.3