diff options
Diffstat (limited to 'tools/workspace-status.sh')
| -rwxr-xr-x | tools/workspace-status.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/workspace-status.sh b/tools/workspace-status.sh index af6e180ca3..a779e6680b 100755 --- a/tools/workspace-status.sh +++ b/tools/workspace-status.sh @@ -14,7 +14,7 @@ function rev() { cd $1; git describe --always --match "v[0-9].*" --dirty } -echo STABLE_BUILD_GERRIT_LABEL $(rev .) +echo STABLE_BUILD_GERRIT_LABEL "QtFork-"$(rev .) for p in plugins/* ; do test -d "$p" || continue echo STABLE_BUILD_$(echo $(basename $p)_LABEL|tr '[a-z]' '[A-Z]' ) $(rev $p || echo unknown) |