diff options
| author | Edward Thomson <ethomson@edwardthomson.com> | 2018-07-26 14:04:19 +0100 |
|---|---|---|
| committer | Edward Thomson <ethomson@edwardthomson.com> | 2018-07-26 15:35:39 +0100 |
| commit | dc6e80e2ce7c4d1017ce41a67a0df50b29b36cc4 (patch) | |
| tree | 76c9e330bba283825b378d7a784e61df7a32e72f /ci/build.sh | |
| parent | 6eb97b6ba93019741e7cf6147f0fab05dd3f831d (diff) | |
| download | libgit2-dc6e80e2ce7c4d1017ce41a67a0df50b29b36cc4.tar.gz | |
ci: perform clang builds on Linux
Diffstat (limited to 'ci/build.sh')
| -rwxr-xr-x | ci/build.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/ci/build.sh b/ci/build.sh index 45f074810..a1deab3f2 100755 --- a/ci/build.sh +++ b/ci/build.sh @@ -9,6 +9,7 @@ set -e SOURCE_DIR=${SOURCE_DIR:-$( cd "$( dirname "${BASH_SOURCE[0]}" )" && dirname $( pwd ) )} BUILD_DIR=$(pwd) +CC=${CC:-cc} indent() { sed "s/^/ /"; } @@ -20,7 +21,7 @@ uname -a 2>&1 | indent echo "CMake version:" cmake --version 2>&1 | indent echo "Compiler version:" -gcc --version 2>&1 | indent +$CC --version 2>&1 | indent echo "" echo "##############################################################################" |