Re: [xenomai-images PATCH 08/11] ci: add new build options

2020-02-14 Thread Gylstorff Quirin via Xenomai
On 2/14/20 9:48 AM, Jan Kiszka wrote: On 14.02.20 08:32, Q. Gylstorff wrote: From: Quirin Gylstorff Signed-off-by: Quirin Gylstorff ---   .gitlab-ci.yml | 30 ++   1 file changed, 30 insertions(+) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index

Re: [xenomai-images PATCH 08/11] ci: add new build options

2020-02-14 Thread Jan Kiszka via Xenomai
On 14.02.20 08:32, Q. Gylstorff wrote: From: Quirin Gylstorff Signed-off-by: Quirin Gylstorff --- .gitlab-ci.yml | 30 ++ 1 file changed, 30 insertions(+) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 54542b1..608d5db 100644 --- a/.gitlab-ci.yml +++