From e0bcb27943dd0e4091174971cb3f13b71dd0bca7 Mon Sep 17 00:00:00 2001
From: mpsijm <M.P.Sijm@student.tudelft.nl>
Date: Tue, 20 Nov 2018 22:52:44 +0100
Subject: [PATCH] Pipe output of which (hash) to /dev/null

---
 script/test | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/script/test b/script/test
index 4c3cb075..eb394962 100755
--- a/script/test
+++ b/script/test
@@ -112,9 +112,9 @@ case ${mode} in
     ;;
 
   debug)
-    if which lldb; then
+    if hash lldb &> /dev/null; then
       lldb $cmd -- "${args[@]}"
-    elif which gdb; then
+    elif hash gdb &> /dev/null; then
       gdb $cmd -- "${args[@]}"
     else
       echo "No debugger found"