diff options
| author | Gregory Nutt <gnutt@nuttx.org> | 2013-04-20 11:40:34 -0600 |
|---|---|---|
| committer | Gregory Nutt <gnutt@nuttx.org> | 2013-04-20 11:40:34 -0600 |
| commit | 728748a818e89be630c6aba2041cf5eb1d66289a (patch) | |
| tree | c1f73e33ab702a8d758c3df8cd9c686d888e611d /nuttx/tools | |
| parent | cce5af04eab27f136d48a5d06f5ac97b22e6b627 (diff) | |
| download | px4-nuttx-728748a818e89be630c6aba2041cf5eb1d66289a.tar.gz px4-nuttx-728748a818e89be630c6aba2041cf5eb1d66289a.tar.bz2 px4-nuttx-728748a818e89be630c6aba2041cf5eb1d66289a.zip | |
Fix typo introduced into version.sh
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 fed9c00ff..8a6341040 100755 --- a/nuttx/tools/version.sh +++ b/nuttx/tools/version.sh @@ -112,7 +112,7 @@ MINOR=`echo ${VERSION} | cut -d'.' -f2` # Get GIT information (if not provided on the command line) if [ -z "${BUILD}" ]; then - GITINFO=`git log 2>/dev/null | head 1` + GITINFO=`git log 2>/dev/null | head -1` if [ -z "${GITINFO}" ]; then echo "GIT version information is not available" exit 3 |