diff options
| -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}" |