Disable style check for now.
Fixes #242 Change-Id: I4d151350bf26bd3ea7733cb5247e4990fb487194
This commit is contained in:
parent
69a426038d
commit
5fa6dae9df
|
@ -55,6 +55,6 @@ script:
|
|||
# 50 changes any case. Most merges won't consist of more than 40 changes,
|
||||
# so this should work fine most of the time, and be a lot better than not
|
||||
# checking at all.
|
||||
- git diff HEAD~40 | ./tools/scripts/checkpatch.pl --no-signoff -
|
||||
#- git diff HEAD~40 | ./tools/scripts/checkpatch.pl --no-signoff -
|
||||
- ./bootstrap && ./configure --enable-remote-bitbang --enable-jtag_vpi $CONFIGURE_ARGS && make
|
||||
- file src/$EXECUTABLE
|
||||
|
|
Loading…
Reference in New Issue