diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-14 20:13:30 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2023-03-15 10:40:28 +0000 |
| commit | 6bc91e58dc9d286cbb50c9e48057c8037229023b (patch) | |
| tree | 6b324b91a3d8546cdcf20533ff3023e3ff9b48b2 /scripts | |
| parent | d3e8cd3c842b3ff8de31a52733378300fb3cef5a (diff) | |
| download | klee-6bc91e58dc9d286cbb50c9e48057c8037229023b.tar.gz | |
Do not escape "@". This triggers an error now in the CI.
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/build/p-clang-osx.inc | 2 | ||||
| -rw-r--r-- | scripts/build/p-llvm-osx.inc | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/scripts/build/p-clang-osx.inc b/scripts/build/p-clang-osx.inc index a0ef5a9d..10621f1d 100644 --- a/scripts/build/p-clang-osx.inc +++ b/scripts/build/p-clang-osx.inc @@ -2,7 +2,7 @@ install_binary_artifact_clang () { # Use the brew provided package LLVM_VERSION_MAJOR="${LLVM_VERSION/.*/}" - brew install "llvm\@${LLVM_VERSION_MAJOR}" + brew install "llvm@${LLVM_VERSION_MAJOR}" } # Check if the binary artifact is installed diff --git a/scripts/build/p-llvm-osx.inc b/scripts/build/p-llvm-osx.inc index 05e423f3..731b14f5 100644 --- a/scripts/build/p-llvm-osx.inc +++ b/scripts/build/p-llvm-osx.inc @@ -2,7 +2,7 @@ install_binary_artifact_llvm () { # Use the brew provided package LLVM_VERSION_MAJOR="${LLVM_VERSION/.*/}" - brew install "llvm\@${LLVM_VERSION_MAJOR}" + brew install "llvm@${LLVM_VERSION_MAJOR}" } # Check if the binary artifact is installed |