diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2022-03-25 23:08:27 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-30 12:18:59 +0100 |
| commit | ebdaaf1407035d02dcf9eb2b7a93abc4387ba4ae (patch) | |
| tree | bc8e2f65880b622aeeead9b0bd033fb10554a803 /scripts/build/p-clang-linux.inc | |
| parent | 0373fd7d10fb5b23c86ebec2e932ea8f059f5b71 (diff) | |
| download | klee-ebdaaf1407035d02dcf9eb2b7a93abc4387ba4ae.tar.gz | |
Minor clean-up
Diffstat (limited to 'scripts/build/p-clang-linux.inc')
| -rw-r--r-- | scripts/build/p-clang-linux.inc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build/p-clang-linux.inc b/scripts/build/p-clang-linux.inc index c6ee025e..25f468fa 100644 --- a/scripts/build/p-clang-linux.inc +++ b/scripts/build/p-clang-linux.inc @@ -6,7 +6,7 @@ setup_artifact_variables_clang() { [[ "${LLVM_VERSION_MAJOR}" -ge 7 ]] && version="-${LLVM_VERSION_MAJOR}" # Only set LLVM_CONFIG if not set yet - if [[ -z "${LLVM_CONFIG-}" ]]; then + if [[ -z "${LLVM_CONFIG:-}" ]]; then LLVM_CONFIG=$(which "llvm-config${version}") fi |