diff options
| author | Lorenz Meier <lm@inf.ethz.ch> | 2014-05-24 22:37:51 -0700 |
|---|---|---|
| committer | Lorenz Meier <lm@inf.ethz.ch> | 2014-05-24 22:37:51 -0700 |
| commit | 71a3db13c2f2a91e8b5af554061dabb49d8d837a (patch) | |
| tree | 3e338998e56262b1472b9de798f7d415cd3320d1 | |
| parent | 73392dc527e6be0b27afc0e905eaf8fade1f66dd (diff) | |
| parent | b11efcd7d97938e59fd2d5ec293cd98ccce2384e (diff) | |
| download | nuttx-71a3db13c2f2a91e8b5af554061dabb49d8d837a.tar.gz nuttx-71a3db13c2f2a91e8b5af554061dabb49d8d837a.tar.bz2 nuttx-71a3db13c2f2a91e8b5af554061dabb49d8d837a.zip | |
Merge pull request #18 from Kynos/master
Fix for sed "permission denied" error in Windows build
| -rwxr-xr-x | nuttx/tools/configure.sh | 3 |
1 files changed, 2 insertions, 1 deletions
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}" |