Revert broken commit until the problem is fixed (or patch reverted) upstream
[can-benchmark.git] / continuous / steps / 11-patch
1 #!/bin/bash
2
3 set -e
4
5 cd linux
6
7 git reset --hard
8
9 echo "! Repo $(git config remote.origin.url) $(git describe) $(git rev-parse HEAD) ok"
10
11 function vercmp()
12 {
13     v1=${1#v}
14     op=$2
15     v2=${3#v}
16
17     # Make release candidates sort before the final release
18     v1=${v1/rc/\~}
19     v2=${v2/rc/\~}
20
21     dpkg --compare-versions $v1 $op $v2
22 }
23
24 if vercmp v4.2-rc2-34-g0b05e2d lt $(git describe); then
25     # Revert commit that causes unbootable system
26     git revert --no-edit 0b05e2d671c40cfb57e66e4e402320d6e056b2f8 # powerpc/32: cacheable_memcpy becomes memcpy
27 fi
28
29 git apply --index < ../shark-ryu-board-patch.patch