diff options
Diffstat (limited to 'roms/skiboot/opal-ci/build-fedora33.sh')
-rwxr-xr-x | roms/skiboot/opal-ci/build-fedora33.sh | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/roms/skiboot/opal-ci/build-fedora33.sh b/roms/skiboot/opal-ci/build-fedora33.sh new file mode 100755 index 000000000..9042256d0 --- /dev/null +++ b/roms/skiboot/opal-ci/build-fedora33.sh @@ -0,0 +1,22 @@ +#!/bin/bash + +set -uo pipefail +set -e +set -vx + +MAKE_J=$(grep -c processor /proc/cpuinfo) +export CROSS="ccache powerpc64-linux-gnu-" + +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 |