commit | 38b550a4b8af8297b23d88388f790210eee3ab17 | [log] [tgz] |
---|---|---|
author | Luca Milanesio <luca.milanesio@gmail.com> | Tue Jun 06 21:35:16 2023 +0100 |
committer | Luca Milanesio <luca.milanesio@gmail.com> | Wed Jun 14 12:43:50 2023 +0000 |
tree | 9f4ad500f61c17402de03964df3942c2e9adfb99 | |
parent | df29b24f19cf5fab6847b994c1d33e6b59a1fc4d [diff] |
Display project name at the end of refdb check Change-Id: I68e3141a3eca698cc784fcde491c6c2e9201fc7e
diff --git a/multi-primary/globalrefdb.groovy b/multi-primary/globalrefdb.groovy index 93ae9c6..89d4412 100644 --- a/multi-primary/globalrefdb.groovy +++ b/multi-primary/globalrefdb.groovy
@@ -96,7 +96,7 @@ } } - println "Result: ${upToDate ? 'UP-TO-DATE':'OUTDATED'}" + println "Result: $project is ${upToDate ? 'UP-TO-DATE':'OUTDATED'}" } } catch (RepositoryNotFoundException e) { error "Project $project not found"