Commits (2)
......@@ -23,7 +23,7 @@ env | egrep '^(CI_BUILD_REF|CI_RUNNER)' > build-env.txt
# Build
echo_color "$BOLDGREEN" "[buildjob] Perfoming build"
time make -O -k -j$CPU_CORES TIMED=y 2>&1 | tee build-log.txt
time make --output-sync --no-print-directory -k -j$CPU_CORES TIMED=y 2>&1 | tee build-log.txt
if fgrep Axiom build-log.txt >/dev/null; then exit 1; fi
echo_color "$BOLDGREEN" "[buildjob] Build time summary"
cat build-log.txt | egrep "(real|user): [0-9]" | tee build-time.txt
......@@ -74,4 +74,5 @@ if [[ -n "$OPAM_PKG" && "$CI_COMMIT_REF_NAME" == "${OPAM_PKG_BRANCH:-master}" ]]
-F "variables[SHA]=$CI_COMMIT_SHA" \
-F "variables[NAME]=$OPAM_PKG" \
-F "variables[OPAM_PREFIX]=$OPAM_PKG_PREFIX"
echo # there's no newline here otherwise
fi