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-libcxx.inc | |
| parent | 0373fd7d10fb5b23c86ebec2e932ea8f059f5b71 (diff) | |
| download | klee-ebdaaf1407035d02dcf9eb2b7a93abc4387ba4ae.tar.gz | |
Minor clean-up
Diffstat (limited to 'scripts/build/p-libcxx.inc')
| -rw-r--r-- | scripts/build/p-libcxx.inc | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/scripts/build/p-libcxx.inc b/scripts/build/p-libcxx.inc index d88699ba..27fe4a61 100644 --- a/scripts/build/p-libcxx.inc +++ b/scripts/build/p-libcxx.inc @@ -20,10 +20,6 @@ download_libcxx() { patch -p1 --follow-symlinks -i "${DIR}/patches/libcxx${LLVM_VERSION_SHORT}.patch" || return 1 fi - # Prepare LLVM subprojects for older LLVM versions - cd "${LIBCXX_SRC}/llvm/projects" - ln -s ../../libcxx . - ln -s ../../libcxxabi . touch "${LIBCXX_SRC}/.src_checked_out" } |