github+scripts: check commits compile

This commit is contained in:
Elle Mouton 2022-11-02 11:56:26 +02:00
parent 7db68ba084
commit d2b843f491
No known key found for this signature in database
GPG key ID: D7D916376026F177
3 changed files with 86 additions and 6 deletions

5
scripts/check-commit.sh Executable file
View file

@ -0,0 +1,5 @@
#!/bin/bash
set -e
set -x
echo Testing $(git log -1 --oneline)
make unit pkg=... case=_NONE_

15
scripts/check-each-commit.sh Executable file
View file

@ -0,0 +1,15 @@
#!/bin/bash
if [[ "$1" = "" ]]; then
echo "USAGE: $0 remote/head_branch"
echo "eg $0 upstream/master"
exit 1
fi
set -e
set -x
if [[ "$(git log --pretty="%H %D" | grep "^[0-9a-f]*.* $1")" = "" ]]; then
echo "It seems like the current checked-out commit is not based on $1"
exit 1
fi
git rebase --exec scripts/check-commit.sh $1