diff options
author | Lars Wirzenius <liw@liw.fi> | 2021-03-20 11:27:22 +0200 |
---|---|---|
committer | Lars Wirzenius <liw@liw.fi> | 2021-03-20 11:27:22 +0200 |
commit | 3f3f1fa119afe73e073fe1ae460c4ba57e9b4f8f (patch) | |
tree | 5ffc7da255dcfafbf4132d1454a5aeab6009b3ca | |
parent | ddaa5e66141c085a1259658666cf370653f9342a (diff) | |
download | liw-ci-3f3f1fa119afe73e073fe1ae460c4ba57e9b4f8f.tar.gz |
fix: how ./check is run
-rw-r--r-- | ci-prod.ick | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/ci-prod.ick b/ci-prod.ick index 79663fb..9670711 100644 --- a/ci-prod.ick +++ b/ci-prod.ick @@ -957,8 +957,10 @@ pipelines: # Clean up so that tests run in a repeatable environment. git clean -fdx + dpkg -l subplot pandoc + # Run build-time tests. - if grep -q '^#!/bin/bash' || grep -q '^#!/bin/sh' + if grep -q '^#!/bin/bash' check || grep -q '^#!/bin/sh' check then bash -x ./check else |