OpenIndiana Userland
parent: 3e9dff | patch | commitdiff
Jim Klimov
2023-11-06 03bb1239994a37ecd6adf88f0b70304ca7fae694
refs
author Jim Klimov <jim@jimklimov.com>
Monday, November 6, 2023 17:39 +0100
committer GitHub <noreply@github.com>
Monday, November 6, 2023 17:39 +0100
commit03bb1239994a37ecd6adf88f0b70304ca7fae694
tree 043cfac9f5c1af50a0fb77503e9083ec2090ee8d tree | zip | gz
parent 3e9dffe321323962963d32c603855d6ae4885502 view | diff 
jenkinshelper*.ksh: stage_build_changed(): do not lose track of failures

2 files modified
10 ■■■■■ changed files
tools/jenkinshelper-main.ksh 5 ●●●●● diff | view | raw | blame | history
tools/jenkinshelper.ksh 5 ●●●●● diff | view | raw | blame | history