8913c71
Add some debugging in the jenkins run themselves Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>