diff options
Diffstat (limited to 'nuttx/tools/version.sh')
-rwxr-xr-x | nuttx/tools/version.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/nuttx/tools/version.sh b/nuttx/tools/version.sh index dafd72772..bd9083309 100755 --- a/nuttx/tools/version.sh +++ b/nuttx/tools/version.sh @@ -135,4 +135,4 @@ echo "" >>${OUTFILE} echo "CONFIG_VERSION_STRING=\"${VERSION}\"" >>${OUTFILE} echo "CONFIG_VERSION_MAJOR=${MAJOR}" >>${OUTFILE} echo "CONFIG_VERSION_MINOR=${MINOR}" >>${OUTFILE} -echo "CONFIG_VERSION_BUILD=${BUILD}" >>${OUTFILE} +echo "CONFIG_VERSION_BUILD=\"${BUILD}\"" >>${OUTFILE} |