Fixes deban builds

pull/7054/head
gindibay 2023-07-12 22:35:23 +03:00
parent 22aef15497
commit 48c98a9cce
1 changed files with 1 additions and 1 deletions

View File

@ -159,7 +159,7 @@ jobs:
- name: Make - name: Make
run: | run: |
set -ex set -ex
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
# Check the exit code of the make command # Check the exit code of the make command