From 3c6795decf180e1befc6c0617e042a37a174f85c Mon Sep 17 00:00:00 2001
From: Erin Power <xampprocky@gmail.com>
Date: Tue, 17 Sep 2019 18:53:38 +0200
Subject: [PATCH] Fixed broken pipe race condition in ensure_installed

---
 cranelift/test-all.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/cranelift/test-all.sh b/cranelift/test-all.sh
index 48e53116ea..d3ad831274 100755
--- a/cranelift/test-all.sh
+++ b/cranelift/test-all.sh
@@ -55,7 +55,7 @@ ensure_installed() {
     program="$1"
     toolchain="${2:-stable}"
     if has_toolchain $toolchain; then
-        if cargo +$toolchain install --list | grep -q $program; then
+        if grep -q $program <(cargo +$toolchain install --list); then
             echo "$program found"
         else
             echo "installing $program"