diff options
Diffstat (limited to 'nuttx/tools/incdir.sh')
| -rwxr-xr-x | nuttx/tools/incdir.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/tools/incdir.sh b/nuttx/tools/incdir.sh index af83f8517..145bfe9bb 100755 --- a/nuttx/tools/incdir.sh +++ b/nuttx/tools/incdir.sh @@ -215,7 +215,7 @@ for dir in $dirlist; do if [ -z "$response" ]; then response="${cmdarg}'"${path} else - response=${response}":${path}" + response=${response}";${path}" fi else # Treat the first directory differently |