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