diff options
| -rw-r--r-- | tools/workspace_status.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/workspace_status.py b/tools/workspace_status.py index 86df519ed5..84b548c732 100644 --- a/tools/workspace_status.py +++ b/tools/workspace_status.py @@ -35,7 +35,7 @@ def revision(directory, parent): os.chdir(parent) -print("STABLE_BUILD_GERRIT_LABEL %s" % revision(ROOT, ROOT)) +print("STABLE_BUILD_GERRIT_LABEL %s-QtFork" % revision(ROOT, ROOT)) for d in os.listdir(os.path.join(ROOT, 'plugins')): p = os.path.join('plugins', d) if os.path.isdir(p): |