diff options
| -rw-r--r-- | utils/git-testament.pl | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/utils/git-testament.pl b/utils/git-testament.pl index ac4c97e89..e8f56c7fb 100644 --- a/utils/git-testament.pl +++ b/utils/git-testament.pl @@ -141,6 +141,9 @@ $testament .= "#define WT_COMPILEDATE \"$compiledate\"\n"; my $cibuild = $ENV{CI_BUILD}; if (defined ($cibuild) && ($cibuild ne '')) { $testament .= "#define CI_BUILD \"$cibuild\"\n"; + print "TESTMENT: Detected CI build \"$cibuild\"\n"; +} else { + print "TESTMENT: No sign of the CI system here\n"; } $testament .= "#define WT_BRANCHPATH \"$gitinfo{branch}\"\n"; |