diff options
author | Frank Busse <bb0xfb@gmail.com> | 2018-08-09 21:56:22 +0100 |
---|---|---|
committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2018-08-12 12:16:29 +0100 |
commit | b6c63f1bca36c303a13bd53b3c4c6948728140d6 (patch) | |
tree | ce6d9c745bbb9d6cea3e3a29a2ca8d576533f16c /scripts | |
parent | 6e3b4d716bae09c5c8832ca31a427f24a12729b3 (diff) | |
download | klee-b6c63f1bca36c303a13bd53b3c4c6948728140d6.tar.gz |
llvm.sh: fix patch source paths
Diffstat (limited to 'scripts')
-rwxr-xr-x | scripts/build/llvm.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/build/llvm.sh b/scripts/build/llvm.sh index 26ee8efb..cae64dd1 100755 --- a/scripts/build/llvm.sh +++ b/scripts/build/llvm.sh @@ -40,9 +40,9 @@ if [[ "$TRAVIS_OS_NAME" == "linux" ]]; then fi # Apply existing patches if needed - if [ -f "${BASE}/scripts/build/llvm${LLVM_VERSION_SHORT}.patch" ]; then + if [ -f "${DIR}/patches/llvm${LLVM_VERSION_SHORT}.patch" ]; then cd "${LLVM_BASE}" - patch -p0 -i "${BASE}/scripts/build/llvm${LLVM_VERSION_SHORT}.patch" + patch -p0 -i "${DIR}/patches/llvm${LLVM_VERSION_SHORT}.patch" fi fi |