diff options
Diffstat (limited to 'utils/git-testament.pl')
-rw-r--r-- | utils/git-testament.pl | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/utils/git-testament.pl b/utils/git-testament.pl index 89c41ab5e..ac4c97e89 100644 --- a/utils/git-testament.pl +++ b/utils/git-testament.pl @@ -138,6 +138,11 @@ $testament .= "#define WT_ROOT \"$qroot\"\n"; $testament .= "#define WT_HOSTNAME \"$hostname\"\n"; $testament .= "#define WT_COMPILEDATE \"$compiledate\"\n"; +my $cibuild = $ENV{CI_BUILD}; +if (defined ($cibuild) && ($cibuild ne '')) { + $testament .= "#define CI_BUILD \"$cibuild\"\n"; +} + $testament .= "#define WT_BRANCHPATH \"$gitinfo{branch}\"\n"; if ($gitinfo{branch} =~ m@^master$@) { |