diff options
| author | Martin Roth <gaumless@gmail.com> | 2022-11-19 15:53:11 -0700 |
|---|---|---|
| committer | Martin L Roth <gaumless@gmail.com> | 2022-11-21 20:04:53 +0000 |
| commit | b3f60a53dacc6529f6d4606c1d5388f4c6fc923f (patch) | |
| tree | c6efd5d410fa7e20773988036a677de9488c70aa /src | |
| parent | 2852cd2b22c27f0574968c6b238b4bbea01746f7 (diff) | |
util/testing: Call test-lint target from what-jenkins-does
Instead of having duplicate lines in the what-jenkins-does target and
the test-lint target, make test-lint with the --junit argument from
what-jenkins-does.
Now there's only one place to update when changing the call.
Signed-off-by: Martin Roth <gaumless@gmail.com>
Change-Id: I2f90df76126f453fbcd91f4c4af5d784ac2dbe88
Reviewed-on: https://review.coreboot.org/c/coreboot/+/69835
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions