diff options
| -rw-r--r-- | scripts/setlocalversion | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/setlocalversion b/scripts/setlocalversion index a80d6ea8a5bf..1b31da843672 100644 --- a/scripts/setlocalversion +++ b/scripts/setlocalversion | |||
| @@ -12,7 +12,7 @@ cd "${1:-.}" || usage | |||
| 12 | if head=`git rev-parse --verify HEAD 2>/dev/null`; then | 12 | if head=`git rev-parse --verify HEAD 2>/dev/null`; then |
| 13 | # Do we have an untagged version? | 13 | # Do we have an untagged version? |
| 14 | if git name-rev --tags HEAD | grep -E '^HEAD[[:space:]]+(.*~[0-9]*|undefined)$' > /dev/null; then | 14 | if git name-rev --tags HEAD | grep -E '^HEAD[[:space:]]+(.*~[0-9]*|undefined)$' > /dev/null; then |
| 15 | printf '%s%s' -g `echo "$head" | cut -c1-8` | 15 | git describe | awk -F- '{printf("-%05d-%s", $(NF-1),$(NF))}' |
| 16 | fi | 16 | fi |
| 17 | 17 | ||
| 18 | # Are there uncommitted changes? | 18 | # Are there uncommitted changes? |
