diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2019-04-04 22:08:58 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-04-05 15:43:46 +0100 |
| commit | df03cb2af908c4efcab4f6f343da4ebc98e3d3c9 (patch) | |
| tree | ed747fc25ec3e7bf0918ccd4df14ce0301cdaea9 /scripts/build/v-sanitizer_compiler.inc | |
| parent | 8bee70d3ce327f27fc0cf8f7c092a7317d88173a (diff) | |
| download | klee-df03cb2af908c4efcab4f6f343da4ebc98e3d3c9.tar.gz | |
Remove CC as requirement; automatically set by sanitizer_compiler
Update build sqlite script
Diffstat (limited to 'scripts/build/v-sanitizer_compiler.inc')
| -rw-r--r-- | scripts/build/v-sanitizer_compiler.inc | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/scripts/build/v-sanitizer_compiler.inc b/scripts/build/v-sanitizer_compiler.inc index e0cf2468..27c1f073 100644 --- a/scripts/build/v-sanitizer_compiler.inc +++ b/scripts/build/v-sanitizer_compiler.inc @@ -15,7 +15,6 @@ artifact_dependency_sanitizer_compiler(){ setup_variables_sanitizer_compiler() { for sanitizer in "${SANITIZERS[@]}"; do [[ -z "${sanitizer}" ]] && continue - SANITIZER_CMAKE_C_COMPILER=[""] + SANITIZER_CMAKE_C_COMPILER=("") done - } \ No newline at end of file |