diff options
Diffstat (limited to 'nuttx/tools/mkexport.sh')
-rwxr-xr-x | nuttx/tools/mkexport.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/nuttx/tools/mkexport.sh b/nuttx/tools/mkexport.sh index 0c6b797dc..2c464c0b1 100755 --- a/nuttx/tools/mkexport.sh +++ b/nuttx/tools/mkexport.sh @@ -206,7 +206,7 @@ cp -f "${ARCHDIR}"/*.h "${EXPORTDIR}"/arch/. 2>/dev/null # Then look a list of possible places where other architecture-specific # header files might be found. If those places exist (as directories or -# as symbolic links to directories, then copy the header files from +# as symbolic links to directories, then copy the header files from # those directories into the EXPORTDIR ARCH_HDRDIRS="arm armv7-m avr avr32 board common chip mips32" @@ -323,4 +323,4 @@ fi # Clean up after ourselves -rm -rf "${EXPORTSUBDIR}" +rm -rf "${EXPORTSUBDIR}" |