Re: [libvirt] [jenkins-ci PATCH 06/10] guests: Move $PATH configuration to shell profile

2018-04-06 Thread Andrea Bolognani
On Fri, 2018-04-06 at 17:03 +0200, Pavel Hrdina wrote: > On Thu, Apr 05, 2018 at 02:22:16PM +0200, Andrea Bolognani wrote: > > Same as for $MAKE, moving the configuration here makes it > > easier to reproduce issues outside of the CI environment. > > > > Signed-off-by: Andrea Bolognani > > --- >

Re: [libvirt] [jenkins-ci PATCH 06/10] guests: Move $PATH configuration to shell profile

2018-04-06 Thread Pavel Hrdina
On Thu, Apr 05, 2018 at 02:22:16PM +0200, Andrea Bolognani wrote: > Same as for $MAKE, moving the configuration here makes it > easier to reproduce issues outside of the CI environment. > > Signed-off-by: Andrea Bolognani > --- > guests/group_vars/all/main.yml | 6 -- > guests/templates/bash

[libvirt] [jenkins-ci PATCH 06/10] guests: Move $PATH configuration to shell profile

2018-04-05 Thread Andrea Bolognani
Same as for $MAKE, moving the configuration here makes it easier to reproduce issues outside of the CI environment. Signed-off-by: Andrea Bolognani --- guests/group_vars/all/main.yml | 6 -- guests/templates/bashrc| 2 ++ jobs/defaults.yaml | 1 - 3 files changed, 6 inser