diff options
| author | Martin Nowack <m.nowack@imperial.ac.uk> | 2024-02-05 10:02:47 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2024-02-08 13:17:19 +0000 |
| commit | fa3719ddf279e071b4046960c15452a00c6956a9 (patch) | |
| tree | 54b62216d0129afa075c96042ffa004eb3d043dc /scripts/build | |
| parent | 2b07721933d82f09c026134e0da52587f49d5df6 (diff) | |
| download | klee-fa3719ddf279e071b4046960c15452a00c6956a9.tar.gz | |
MERGE libc++ build system
Diffstat (limited to 'scripts/build')
| -rw-r--r-- | scripts/build/p-libcxx.inc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/build/p-libcxx.inc b/scripts/build/p-libcxx.inc index b0263c00..a549c485 100644 --- a/scripts/build/p-libcxx.inc +++ b/scripts/build/p-libcxx.inc @@ -60,9 +60,9 @@ build_libcxx() { cmake "${cmake_flags[@]}" "${LIBCXX_SRC}/llvm" if [[ "${LLVM_VERSION_SHORT}" -ge "14" ]]; then - make runtimes - j"$(nproc)" || make cxx || return 1 + make runtimes "-j$(nproc)" || make runtimes || return 1 else - make cxx - j"$(nproc)" || make cxx || return 1 + make cxx "-j$(nproc)" || make cxx || return 1 fi ) } |