Adds -e parameter into pipeline step

pull/7054/head
gindibay 2023-07-24 12:49:51 +03:00
parent 7a6696c432
commit c5557b7b6a
1 changed files with 1 additions and 0 deletions

View File

@ -153,6 +153,7 @@ jobs:
- name: Make - name: Make
shell: bash shell: bash
run: | run: |
set -e
git config --global --add safe.directory ${GITHUB_WORKSPACE} git config --global --add safe.directory ${GITHUB_WORKSPACE}
make -sj$(cat /proc/cpuinfo | grep "core id" | wc -l) 2>&1 | tee -a output.log make -sj$(cat /proc/cpuinfo | grep "core id" | wc -l) 2>&1 | tee -a output.log