diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-05-25 07:38:32 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-05-25 07:38:32 -0600 |
commit | 08cc2be610cd49fc4ce9f544cc6b0e5d34b76b74 (patch) | |
tree | c822a48db17aec97c38b14d88699f5b6b712e278 | |
parent | f3f00384b43f110c230725f0d75317fe1b0fcb85 (diff) | |
download | px4-nuttx-08cc2be610cd49fc4ce9f544cc6b0e5d34b76b74.tar.gz px4-nuttx-08cc2be610cd49fc4ce9f544cc6b0e5d34b76b74.tar.bz2 px4-nuttx-08cc2be610cd49fc4ce9f544cc6b0e5d34b76b74.zip |
In-place SED edit can mess up permissions on Windows
-rwxr-xr-x | nuttx/tools/configure.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/nuttx/tools/configure.sh b/nuttx/tools/configure.sh index a91da260e..2a98edbe6 100755 --- a/nuttx/tools/configure.sh +++ b/nuttx/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}" |