From 511fcd67689c5518d7268e9a808cca42914610a9 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Mon, 11 Jun 2018 14:38:57 +0200 Subject: [PATCH] use clm for ci --- .gitlab-ci.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index fc70b2705..934df4d0f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -3,4 +3,4 @@ test: - install_clean.sh bundle-complete && apt-get update -qq && apt-get install -y -qq build-essential image: "camilstaps/clean:nightly" script: - - cd Examples && cp BasicAPIExamples.prj.default BasicAPIExamples.prj && cpm BasicAPIExamples.prj + - cd Examples && clm -dynamics -h 200m -s 10m -IL Dynamics -IL GraphCopy -IL Sapl -IL TCPIP -IL Platform -IL Platform/Deprecated/StdLib -I ../Libraries BasicAPIExamples -- GitLab