Commit 2c6334ad authored by Ralf Jung's avatar Ralf Jung

be more permissive in filter build-time, to make it more likely to capture intermingled output

That will then fail when submitted to the webhook, which is whta we want --
avoid bad data from getting into the system.
parent 7ccd7063
......@@ -26,7 +26,7 @@ echo_color "$BOLDGREEN" "[buildjob] Perfoming build"
time make -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 "[a-zA-Z0-9_/-]+ \((real|user): [0-9]" | tee build-time.txt
cat build-log.txt | egrep "(real|user): [0-9]" | tee build-time.txt
# maybe validate
if [[ -n "$VALIDATE" ]]; then
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment