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-sqlite.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-sqlite.inc')
| -rw-r--r-- | scripts/build/v-sqlite.inc | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/scripts/build/v-sqlite.inc b/scripts/build/v-sqlite.inc index 1a4f7db5..594912a6 100644 --- a/scripts/build/v-sqlite.inc +++ b/scripts/build/v-sqlite.inc @@ -1,5 +1,3 @@ artifact_dependency_sqlite=("sanitizer_compiler") -required_variables_sqlite=( - "CC" -) +required_variables_sqlite=("") |