Pipe output of which (hash) to /dev/null

This commit is contained in:
mpsijm 2018-11-20 22:52:44 +01:00 committed by GitHub
parent 01fef6d81f
commit e0bcb27943
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -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"