diff options
Diffstat (limited to 'gcov-arndale')
-rwxr-xr-x | gcov-arndale | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/gcov-arndale b/gcov-arndale index b4e5630..d4c4b6e 100755 --- a/gcov-arndale +++ b/gcov-arndale @@ -9,6 +9,15 @@ do patch -p1 < $patch done +# workaround driver issues with gcov +( +cd drivers/ +for file in `find -type f -name Makefile` +do + echo 'GCOV_PROFILE := n' >> $file; +done +) + # jenkins needs a different directory for build due to git juggling if [ ! -z ${WORKSPACE} ] then |