diff options
Diffstat (limited to 'opal-ci/build-centos7.sh')
-rwxr-xr-x | opal-ci/build-centos7.sh | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/opal-ci/build-centos7.sh b/opal-ci/build-centos7.sh new file mode 100755 index 00000000..0a44fc8c --- /dev/null +++ b/opal-ci/build-centos7.sh @@ -0,0 +1,26 @@ +#!/bin/bash + +set -uo pipefail +set -e + +# We're limited as to what we want to bother to run on CentOS7 +# It's fairly old and some of the things (e.g. build+run qemu) we don't +# want to bother doing. + +export CROSS=/opt/cross/gcc-4.8.0-nolibc/powerpc64-linux/bin/powerpc64-linux- + +MAKE_J=`grep -c processor /proc/cpuinfo` + +make -j${MAKE_J} all +make -j${MAKE_J} check +(make clean; cd external/gard && CROSS= make -j${MAKE_J}) +(cd external/pflash; make -j${MAKE_J}) +make clean +SKIBOOT_GCOV=1 make -j${MAKE_J} +SKIBOOT_GCOV=1 make -j${MAKE_J} check + +make clean +rm -rf builddir +mkdir builddir +make SRC=`pwd` -f ../Makefile -C builddir -j${MAKE_J} +make clean |