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