diff options
-rw-r--r-- | ci-prod.ick | 29 |
1 files changed, 17 insertions, 12 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index e57f683..9cbcccf 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -711,17 +711,17 @@ projects: rsync_target: ickliwfi@http.liw.fi:/srv/http/ewww.liw.fi pipelines: *deb_ci_rustup_pipelines - # - project: subplot - # parameters: - # <<: *dummy_program_params - # sources: - # - name: code - # repo: git://git.liw.fi/subplot - # ref: main - # location: src - # workspace_name: subplot - # rsync_target: ickliwfi@http.liw.fi:/srv/http/examples.subplot.liw.fi - # pipelines: *deb_ci_rustup_pipelines + - project: subplot + parameters: + <<: *dummy_program_params + sources: + - name: code + repo: git://git.liw.fi/subplot + ref: main + location: src + workspace_name: subplot + rsync_target: ickliwfi@http.liw.fi:/srv/http/examples.subplot.liw.fi + pipelines: *deb_ci_rustup_pipelines pipelines: @@ -910,7 +910,12 @@ pipelines: git clean -fdx # Run build-time tests. - bash -x ./check + if grep -q '^#!/bin/bash' || grep -q '^#!/bin/sh' + then + bash -x ./check + else + ./check + fi fi |