mirror of
https://github.com/mmueller41/genode.git
synced 2026-01-21 12:32:56 +01:00
Remove dependency from 'which' utility
Debian declared the 'which' utility as deprecated. Fixes #4319
This commit is contained in:
committed by
Christian Helmuth
parent
293d545b97
commit
4cfd954e1e
@@ -533,11 +533,8 @@ proc have_spec {spec} { global specs; return [expr [lsearch $specs $spec] != -1]
|
||||
# Return true if specified program is installed
|
||||
#
|
||||
proc have_installed {program} {
|
||||
if {[catch { exec which $program }] == 0} { return true; }
|
||||
if {[catch { exec which "/sbin/$program" }] == 0} { return true; }
|
||||
if {[catch { exec which "/usr/sbin/$program" }] == 0} { return true; }
|
||||
if {[catch { exec which "/usr/local/bin/$program" }] == 0} { return true; }
|
||||
|
||||
if {[auto_execok "$program"] != ""} { return true; }
|
||||
return false;
|
||||
}
|
||||
|
||||
|
||||
Reference in New Issue
Block a user