diff options
| author | Frank Busse <bb0xfb@gmail.com> | 2022-01-12 12:14:11 +0000 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2022-03-09 20:30:37 +0100 |
| commit | 6ada2c0389ebeeac7201486a251eb3961d6ad54d (patch) | |
| tree | ac4ec5cd2b162e69a4a5737a504f1c397960fca8 /scripts | |
| parent | 3608d61091fba10fea58d5efaced319ea1a06eed (diff) | |
| download | klee-6ada2c0389ebeeac7201486a251eb3961d6ad54d.tar.gz | |
build: fix missing target for grep
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/build/p-clang-linux-ubuntu.inc | 2 | ||||
| -rw-r--r-- | scripts/build/p-llvm-linux-ubuntu.inc | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/scripts/build/p-clang-linux-ubuntu.inc b/scripts/build/p-clang-linux-ubuntu.inc index b3159d3c..fb781513 100644 --- a/scripts/build/p-clang-linux-ubuntu.inc +++ b/scripts/build/p-clang-linux-ubuntu.inc @@ -23,7 +23,7 @@ install_binary_artifact_clang() { # Add repository codename="$(lsb_release --codename --short)" apt_entry="deb http://apt.llvm.org/${codename}/ llvm-toolchain-${codename}${version} main" - if [[ ! $(grep -q "${apt_entry}") ]]; then + if [[ ! $(grep -rq "${apt_entry}" /etc/apt) ]]; then echo "${apt_entry}" >> /etc/apt/sources.list apt update -y fi diff --git a/scripts/build/p-llvm-linux-ubuntu.inc b/scripts/build/p-llvm-linux-ubuntu.inc index 0b506314..8a9d0fe9 100644 --- a/scripts/build/p-llvm-linux-ubuntu.inc +++ b/scripts/build/p-llvm-linux-ubuntu.inc @@ -81,7 +81,7 @@ install_binary_artifact_llvm() { # Add repository codename="$(lsb_release --codename --short)" apt_entry="deb http://apt.llvm.org/${codename}/ llvm-toolchain-${codename}${version} main" - if [[ ! $(grep -q "${apt_entry}") ]]; then + if [[ ! $(grep -rq "${apt_entry}" /etc/apt) ]]; then echo "${apt_entry}" >> /etc/apt/sources.list apt update -y fi |