diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2013-05-01 09:21:13 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2013-05-01 09:21:13 -0600 |
| commit | 1a5060c28be4edffb32eabc2ad422254fcd72bb2 (patch) | |
| tree | 9bf1a6e1ae07bb2e94af5a32604ff1b8463b0ac3 /nuttx/tools | |
| parent | d9bd2fca774a5c3499f7b3a258aa1506fdea526f (diff) | |
| download | px4-nuttx-1a5060c28be4edffb32eabc2ad422254fcd72bb2.tar.gz px4-nuttx-1a5060c28be4edffb32eabc2ad422254fcd72bb2.tar.bz2 px4-nuttx-1a5060c28be4edffb32eabc2ad422254fcd72bb2.zip | |
Misc changes for clean built od mikroe-stm32f4 configurations
Diffstat (limited to 'nuttx/tools')
| -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} |