From e0189fdb142fd0e723fd908953d8ba5767d4a6bb Mon Sep 17 00:00:00 2001 From: EuAndreh Date: Sat, 22 Jan 2022 14:16:26 -0300 Subject: aux/{workflow/repocheck,ci/ci-build}.sh: Stop redundantly building "public" target --- aux/ci/ci-build.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'aux/ci') diff --git a/aux/ci/ci-build.sh b/aux/ci/ci-build.sh index 5e5e656..8d18252 100755 --- a/aux/ci/ci-build.sh +++ b/aux/ci/ci-build.sh @@ -59,5 +59,5 @@ EOF RUNNER='sh -c' fi - $RUNNER 'make clean public dev-check' + $RUNNER 'make clean dev-check' } 2>&1 | tee "$LOGFILE" -- cgit v1.2.3