Commit 8c1c74f1 authored by uxrog's avatar uxrog
Browse files

Merge branch 'fix/flammenwehrfer-stream-output' into 'master'

Stream flammenwehrfer output so you get something if it times out

See merge request !51
parents fb2210ec 2f9b23be
Pipeline #184668 failed with stage
in 13 minutes and 29 seconds
......@@ -32,8 +32,12 @@ GITHUB_URL="https://api.github.com/repos/$GITHUB_PATH"
# | | __/\__ \ |_| | | | | (_| | _ _ _
# |_|\___||___/\__|_|_| |_|\__, | (_) (_) (_)
# |___/
MJ_OUTPUT="$(/mjtest/mjt.py lexer syntax ast semantic compile-firm /compiler-under-test/run 2>&1)"
# Create copy of stdout to capture and stream stdout in subshell
exec 3>&1
MJ_OUTPUT="$(/mjtest/mjt.py lexer syntax ast semantic compile-firm /compiler-under-test/run 2>&1 | tee /dev/fd/3)"
MJ_EXIT_CODE="$?"
# Close copy
exec 3>&-
if [[ "$USE_FLAMMENWEHRFER" != 1 ]] || [[ "$CI_COMMIT_BRANCH" != "master" ]]; then
echo "Flammenwehrfer disabled, checked for branch '$CI_COMMIT_BRANCH'"
......
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