about summary refs log tree commit diff homepage
diff options
context:
space:
mode:
authorFrank Busse <bb0xfb@gmail.com>2022-01-12 12:14:11 +0000
committerCristian Cadar <c.cadar@imperial.ac.uk>2022-03-09 20:30:37 +0100
commit6ada2c0389ebeeac7201486a251eb3961d6ad54d (patch)
treeac4ec5cd2b162e69a4a5737a504f1c397960fca8
parent3608d61091fba10fea58d5efaced319ea1a06eed (diff)
downloadklee-6ada2c0389ebeeac7201486a251eb3961d6ad54d.tar.gz
build: fix missing target for grep
-rw-r--r--scripts/build/p-clang-linux-ubuntu.inc2
-rw-r--r--scripts/build/p-llvm-linux-ubuntu.inc2
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