Adds error check for make

pull/7054/head
gindibay 2023-07-12 22:17:07 +03:00
parent 6e24043927
commit a910fc0387
1 changed files with 9 additions and 1 deletions

View File

@ -78,7 +78,15 @@ jobs:
set -ex
git config --global --add safe.directory /__w/citus/citus
make CFLAGS="-Wno-missing-braces" -sj$(cat /proc/cpuinfo | grep "core id" | wc -l) 2>&1 | tee -a output.log
exit 1
# Check the exit code of the make command
make_exit_code=${PIPESTATUS[0]}
# If the make command returned a non-zero exit code, exit with the same code
if [[ $make_exit_code -ne 0 ]]; then
echo "make command failed with exit code $make_exit_code"
exit $make_exit_code
fi
- name: Make install
run: |