mirror of https://github.com/citusdata/citus.git
Fixes dubious ownership error
parent
ea626ffde3
commit
4bb156e58f
|
@ -76,6 +76,7 @@ jobs:
|
||||||
- name: Make
|
- name: Make
|
||||||
run: |
|
run: |
|
||||||
set -e
|
set -e
|
||||||
|
git config --global --add safe.directory ${{ github.workspace }}
|
||||||
make CFLAGS="-Wno-missing-braces" -sj$(cat /proc/cpuinfo | grep "core id" | wc -l) 2>&1 | tee -a output.log
|
make CFLAGS="-Wno-missing-braces" -sj$(cat /proc/cpuinfo | grep "core id" | wc -l) 2>&1 | tee -a output.log
|
||||||
|
|
||||||
- name: Make install
|
- name: Make install
|
||||||
|
|
Loading…
Reference in New Issue