diff options
Diffstat (limited to 'scripts/setlocalversion')
| -rwxr-xr-x | scripts/setlocalversion | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/scripts/setlocalversion b/scripts/setlocalversion index bd6dca8a0ab..8d9a5edd9c6 100755 --- a/scripts/setlocalversion +++ b/scripts/setlocalversion | |||
| @@ -33,6 +33,12 @@ scm_version() | |||
| 33 | local short | 33 | local short |
| 34 | short=false | 34 | short=false |
| 35 | 35 | ||
| 36 | system=`echo $TARGET_SYSTEM` | ||
| 37 | if [ "$system" = "CARMA" ]; then | ||
| 38 | printf '%s' -carma | ||
| 39 | return | ||
| 40 | fi | ||
| 41 | |||
| 36 | cd "$srctree" | 42 | cd "$srctree" |
| 37 | if test -e .scmversion; then | 43 | if test -e .scmversion; then |
| 38 | cat .scmversion | 44 | cat .scmversion |
| @@ -75,7 +81,8 @@ scm_version() | |||
| 75 | [ -w . ] && git update-index --refresh --unmerged > /dev/null | 81 | [ -w . ] && git update-index --refresh --unmerged > /dev/null |
| 76 | 82 | ||
| 77 | # Check for uncommitted changes | 83 | # Check for uncommitted changes |
| 78 | if git diff-index --name-only HEAD | grep -qv "^scripts/package"; then | 84 | if git diff-index --name-only HEAD | grep -v "^scripts/package" \ |
| 85 | | read dummy; then | ||
| 79 | printf '%s' -dirty | 86 | printf '%s' -dirty |
| 80 | fi | 87 | fi |
| 81 | 88 | ||
