From 8a2f515483259b42b3b709004fc9bc82ef3e343c Mon Sep 17 00:00:00 2001 From: Thomas Sader Date: Sun, 16 Jun 2024 21:08:18 +0200 Subject: [PATCH] check makedepend too --- .github/workflows/{autotools.yml => misc.yml} | 23 +++++++++++++++---- 1 file changed, 18 insertions(+), 5 deletions(-) rename .github/workflows/{autotools.yml => misc.yml} (57%) diff --git a/.github/workflows/autotools.yml b/.github/workflows/misc.yml similarity index 57% rename from .github/workflows/autotools.yml rename to .github/workflows/misc.yml index ed097b4e4..d04fa3775 100644 --- a/.github/workflows/autotools.yml +++ b/.github/workflows/misc.yml @@ -1,15 +1,13 @@ -name: Autotools check +name: Check autotools/makedepend on: push: branches: [ develop ] jobs: - default-build: - name: Check if autotools need to be run + autotools-check: + name: Check if misc/runautotools needs to be run runs-on: ubuntu-latest - permissions: - pull-requests: write steps: - uses: actions/checkout@v4 - name: install dependencies @@ -28,3 +26,18 @@ jobs: if [ -s .gitdiff ]; then exit 1 fi + makedepend-check: + name: Check if misc/makedepend needs to be run + runs-on: ubuntu-latest + steps: + - uses: actions/checkout@v4 + - name: install dependencies + run: sudo apt-get install build-essential autoconf + - name: Run makedepend + run: misc/makedepend + - name: Check diff + run: | + git diff | tee .gitdiff + if [ -s .gitdiff ]; then + exit 1 + fi