diff options
| author | Julian Büning <julian.buening@rwth-aachen.de> | 2019-08-04 21:26:56 +0200 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-09-09 10:39:36 +0100 |
| commit | 0fd707b62988ed25c31242eb3d858895d96eb619 (patch) | |
| tree | d8abebc6a1a9df995225e3df4b0399d089d33303 /scripts/build/p-sqlite.inc | |
| parent | 649c8bce588f04ed9099686f0d9ed9c326567c44 (diff) | |
| download | klee-0fd707b62988ed25c31242eb3d858895d96eb619.tar.gz | |
fix minor build script issues and inconsistencies
mostly following shellcheck
Diffstat (limited to 'scripts/build/p-sqlite.inc')
| -rw-r--r-- | scripts/build/p-sqlite.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/build/p-sqlite.inc b/scripts/build/p-sqlite.inc index 16c1b220..2ba93ce3 100644 --- a/scripts/build/p-sqlite.inc +++ b/scripts/build/p-sqlite.inc @@ -17,14 +17,14 @@ build_sqlite() { # Check if sanitizers should be used to build sqlite if [[ "${SANITIZER_SUFFIX}x" != "x" ]]; then - CFLAGS="${SANITIZER_C_FLAGS[*]}" + CFLAGS=("${SANITIZER_C_FLAGS[@]}") COMP="${SANITIZER_C_COMPILER}" else COMP="${BITCODE_CC}" [[ -z "${COMP}" ]] && COMP="$(which gcc)" fi - ${COMP} ${CFLAGS} -fPIC -o libsqlite3.so -DSQLITE_THREADSAFE=0 -DSQLITE_OMIT_LOAD_EXTENSION -shared sqlite3.c + "${COMP}" "${CFLAGS[@]}" -fPIC -o libsqlite3.so -DSQLITE_THREADSAFE=0 -DSQLITE_OMIT_LOAD_EXTENSION -shared sqlite3.c } install_sqlite() { |