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.

diff --git a/.github/workflows/builds.yml b/.github/workflows/builds.yml
index 5ed55fee381b5a6678f4ffa9dedccc3acf7b6509..08d86b23ffa02c7017644c97d7599d23850bbb34 100644 (file)
--- 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