Skip to content

Commit

Permalink
chore: ignore generated ci check for makefiles without the generate rule
Browse files Browse the repository at this point in the history
Signed-off-by: moul <94029+moul@users.noreply.github.com>
  • Loading branch information
moul committed Feb 9, 2025
1 parent 963763a commit e461637
Showing 1 changed file with 12 additions and 1 deletion.
13 changes: 12 additions & 1 deletion .github/workflows/build_template.yml
Original file line number Diff line number Diff line change
Expand Up @@ -23,10 +23,21 @@ jobs:
- name: Check generated files are up to date
working-directory: ${{ inputs.modulepath }}
run: |
make generate
if make -qp | grep -q '^generate:'; then
make generate
<<<<<<< Updated upstream
if [ "$(git status -s)" != "" ]; then
echo "command 'make generate' creates file that differ from git tree, please run 'make generate' and commit:"
git status -s
exit 1
=======
if [ "$(git status -s)" != "" ]; then
echo "command 'make generate' creates files that differ from the git tree, please run 'make generate' and commit:"
git status -s
exit 1
fi
else
echo "'make generate' rule not found, skipping."
>>>>>>> Stashed changes
fi

0 comments on commit e461637

Please sign in to comment.