Adds locally installed includes for coverage build (#3448)

This commit is contained in:
Catena cyber 2020-03-02 16:39:12 +01:00 committed by GitHub
parent dbbcad5818
commit 4231987eee
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -77,7 +77,7 @@ BUILD_CMD="bash -eux $SRC/build.sh"
# We need to preserve source code files for generating a code coverage report. # We need to preserve source code files for generating a code coverage report.
# We need exact files that were compiled, so copy both $SRC and $WORK dirs. # We need exact files that were compiled, so copy both $SRC and $WORK dirs.
COPY_SOURCES_CMD="cp -rL --parents $SRC $WORK /usr/include $OUT" COPY_SOURCES_CMD="cp -rL --parents $SRC $WORK /usr/include /usr/local/include $OUT"
if [ "${BUILD_UID-0}" -ne "0" ]; then if [ "${BUILD_UID-0}" -ne "0" ]; then
adduser -u $BUILD_UID --disabled-password --gecos '' builder adduser -u $BUILD_UID --disabled-password --gecos '' builder