diff --git a/etc/ci-prepare.sh b/etc/ci-prepare.sh index e204d2b13c..fa3f5f0d95 100644 --- a/etc/ci-prepare.sh +++ b/etc/ci-prepare.sh @@ -68,7 +68,13 @@ then # On the upside, it's good to test that, too! make bootstrap-pkg-minimal DOWNLOAD="$WGET" else - make bootstrap-pkg-full DOWNLOAD="$WGET" + if [[ $HPCGAP = yes ]] + then + # Some packages in the full set do not work with HPC-GAP + make bootstrap-pkg-minimal DOWNLOAD="$WGET" + else + make bootstrap-pkg-full DOWNLOAD="$WGET" + fi fi # check that GAP is at least able to start