diff options
Diffstat (limited to 'ci-prod.ick')
-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 |