From 3f3f1fa119afe73e073fe1ae460c4ba57e9b4f8f Mon Sep 17 00:00:00 2001 From: Lars Wirzenius Date: Sat, 20 Mar 2021 11:27:22 +0200 Subject: fix: how ./check is run --- ci-prod.ick | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) 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 -- cgit v1.2.1