12345678910111213141516171819202122232425262728293031 |
- #!/bin/sh
- remote=$1
- url=$2
- local_ref=$3
- local_sha=$4
- remote_ref=$5
- remote_sha=$6
- z40=0000000000000000000000000000000000000000
- set -e exec
- echo "Run push "
- if [ "$local_sha" = $z40 ]
- then
-
- :
- else
-
- base_commit=`git rev-parse $remote/main`
- range="$base_commit..$local_sha"
- echo "Perform check patch"
- ${ZEPHYR_BASE}/scripts/checkpatch.pl --git $range
- fi
|