projects / lttng-ci.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4afa623) | patch
jjb: coverity: fix: cache the tool installer
authorMichael Jeanson <mjeanson@efficios.com>
Wed, 15 Mar 2023 19:46:11 +0000 (15:46 -0400)
committerMichael Jeanson <mjeanson@efficios.com>
Fri, 17 Mar 2023 18:51:26 +0000 (14:51 -0400)
commit9be4a494f1eacb8cfa8a3d0163a7f569159c4fd2
treec3bf4774edc21b1cdd95553506c2069d644d8028tree | snapshot
parent4afa623f73af7733f14a52d4278b6e866d2cf352commit | diff
jjb: coverity: fix: cache the tool installer

Now that we cache the installer, always try the curl download.

Change-Id: I45d7404f64c39c1519ba53140de801ede6defcf7
Signed-off-by: Michael Jeanson <mjeanson@efficios.com>
scripts/common/coverity.sh diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.
This page took 0.022968 seconds and 4 git commands to generate.