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 bedc051f28..9615bef765 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 kind in ['modules', 'plugins']: kind_dir = os.path.join(ROOT, kind) for d in os.listdir(kind_dir): |