diff options
author | Stewart Smith <stewart@linux.vnet.ibm.com> | 2015-09-08 11:08:44 +1000 |
---|---|---|
committer | Stewart Smith <stewart@linux.vnet.ibm.com> | 2015-09-08 12:12:29 +1000 |
commit | 4a92d92231e64bbbca19e07518a564e6ae2034bc (patch) | |
tree | 830c174c7b5a30d5ded691094745895d8fe119fd | |
parent | bed1b9b7a964c86540d8465b9424125e3aff8df7 (diff) | |
download | skiboot-4a92d92231e64bbbca19e07518a564e6ae2034bc.zip skiboot-4a92d92231e64bbbca19e07518a564e6ae2034bc.tar.gz skiboot-4a92d92231e64bbbca19e07518a564e6ae2034bc.tar.bz2 |
coverity scan through travis-ci
Include a bit of a hack to build gard for coverity too
Signed-off-by: Stewart Smith <stewart@linux.vnet.ibm.com>
-rw-r--r-- | .travis.yml | 19 | ||||
-rw-r--r-- | Makefile.main | 4 |
2 files changed, 18 insertions, 5 deletions
diff --git a/.travis.yml b/.travis.yml index 1a6f63b..b9f11cc 100644 --- a/.travis.yml +++ b/.travis.yml @@ -15,13 +15,22 @@ env: global: - CROSS=/opt/cross/gcc-4.8.0-nolibc/powerpc64-linux/bin/powerpc64-linux- - HOSTCC=gcc-4.8 + # The next declaration is the encrypted COVERITY_SCAN_TOKEN, created + # via the "travis encrypt" command using the project repo's public key + - secure: "MpNEGFa1VrF/vsQq24n5UgfRbz1wVC6B8mubFnyK4gX0IuQ9xhWuTzMLUQF9UJxe5jnC2DTmVUvYTYN/hggw+PpYwbOOAE0QGR5pmPHA4PSRmc5pxt1q18/sv7EPFw66GFyWJq94nWjpigyKQ8KGtA67j1xFqrDoS43OA76WZgo=" script: - - make && make check + - make -j4 all check ; (make clean; cd external/gard && make) ; (make clean; cd external/pflash && make) - make clean && SKIBOOT_GCOV=1 make && SKIBOOT_GCOV=1 make check - make clean && rm -rf builddir && mkdir builddir && make SRC=`pwd` -f ../Makefile -C builddir - make clean - - pushd external/gard && make - - popd - - pushd external/pflash && make - - popd + +addons: + coverity_scan: + project: + name: "open-power/skiboot" + description: "Build submitted via Travis CI" + notification_email: stewart@linux.vnet.ibm.com + build_command_prepend: "make clean; cov-configure --comptype gcc --compiler powerpc64-linux-gcc --template" + build_command: "make -j4 all check gard" + branch_pattern: coverity_scan diff --git a/Makefile.main b/Makefile.main index 56ec139..a5eb01e 100644 --- a/Makefile.main +++ b/Makefile.main @@ -145,6 +145,10 @@ include $(SRC)/libc/Makefile.inc include $(SRC)/ccan/Makefile.inc include $(SRC)/$(DEVSRC)/Makefile.inc +# hack for travis-ci and coverity +gard: + (cd external/gard; make) + all: $(SUBDIRS) $(TARGET).lid $(TARGET).map extract-gcov OBJS := $(ASM) $(CORE) $(HW) $(PLATFORMS) $(LIBFDT) $(LIBFLASH) |