diff options
Diffstat (limited to 'build-aux/ci_build.sh')
| -rwxr-xr-x | build-aux/ci_build.sh | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/build-aux/ci_build.sh b/build-aux/ci_build.sh index 9e2a7f8b..e6926d3e 100755 --- a/build-aux/ci_build.sh +++ b/build-aux/ci_build.sh @@ -53,7 +53,7 @@ ARTIFACTS_DIR_NAME="output" # Parse arguments # ################### -while getopts a:b:c:d:l:m:n:s:p:f:h opt; do +while getopts a:b:c:d:l:m:n:s:p:f:w:h opt; do # b option can have either value "autotools" OR "cmake" case ${opt} in h) @@ -108,6 +108,8 @@ while getopts a:b:c:d:l:m:n:s:p:f:h opt; do CFLAGS="$OPTARG" export CFLAGS ;; + w) WRAPPER="$OPTARG" + ;; esac done @@ -260,7 +262,7 @@ then autotools) cd "$DEST_DIR" # If the tests fail, copy the test logs into the artifacts folder - if make check + if make check LOG_COMPILER="$WRAPPER" then : else @@ -271,7 +273,7 @@ then ;; cmake) cd "$DEST_DIR" - if make test + if ${WRAPPER} make test then : else |