From 0a1d2fcec383a4481aabc733d040b561a7d1d3a4 Mon Sep 17 00:00:00 2001 From: Jason Ish Date: Fri, 24 Jan 2020 10:14:21 -0600 Subject: [PATCH] github-ci: test make after make clean On the CentOS 7 build, test a make after a make clean. Should catch the case where bundled generated headers files get deleted when cbindgen is not available to rebuild them. --- .github/workflows/builds.yml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml index 5ed55fee38..08d86b23ff 100644 --- a/.github/workflows/builds.yml +++ b/.github/workflows/builds.yml @@ -152,6 +152,8 @@ jobs: - run: make install - run: make install-conf - run: make distcheck + - run: make clean + - run: make -j2 centos-6: name: CentOS 6 -- 2.47.2