diff options
Diffstat (limited to 'scripts/setlocalversion')
-rwxr-xr-x | scripts/setlocalversion | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/scripts/setlocalversion b/scripts/setlocalversion index 4d403844e13..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 |