On Fri, May 10, 2019 at 10:08:05AM +0200, Andrea Bolognani wrote:
On Tue, 2019-05-07 at 17:45 +0200, Martin Kletzander wrote:
@echo
@echo "Available make variables:"
@echo
+ @echo "CI_CENGINE=engine - container engine to use (podman (default) or
docker)"
On Tue, 2019-05-07 at 17:45 +0200, Martin Kletzander wrote:
> @echo
> @echo "Available make variables:"
> @echo
> + @echo "CI_CENGINE=engine - container engine to use (podman
> (default) or docker)"
> @echo "CI_CLEAN=0 - do not delete '$(CI_SCRATCHDIR)' after
>
On Thu, May 09, 2019 at 02:06:18PM +0100, Daniel P. Berrangé wrote:
On Tue, May 07, 2019 at 05:45:31PM +0200, Martin Kletzander wrote:
This way more users can run our CI builds locally.
Signed-off-by: Martin Kletzander
---
Makefile.ci | 125 ++--
On Tue, May 07, 2019 at 05:45:31PM +0200, Martin Kletzander wrote:
> This way more users can run our CI builds locally.
>
> Signed-off-by: Martin Kletzander
> ---
> Makefile.ci | 125 ++--
> 1 file changed, 93 insertions(+), 32 deletions(-)
>
> di
This way more users can run our CI builds locally.
Signed-off-by: Martin Kletzander
---
Makefile.ci | 125 ++--
1 file changed, 93 insertions(+), 32 deletions(-)
diff --git a/Makefile.ci b/Makefile.ci
index 12a62167cc67..e2989ada313c 100644
--- a/
