run: rename 'check_installed' to 'installed_command'
issue genodelabs/genode#2853
This commit is contained in:
committed by
Christian Helmuth
parent
2e3f012eca
commit
62de16158d
@@ -1,4 +1,4 @@
|
||||
set sha256sum [check_installed sha256sum]
|
||||
set sha256sum [installed_command sha256sum]
|
||||
|
||||
build {
|
||||
core init
|
||||
|
||||
@@ -12,7 +12,7 @@ build {
|
||||
|
||||
create_boot_directory
|
||||
|
||||
set sha256sum [check_installed sha256sum]
|
||||
set sha256sum [installed_command sha256sum]
|
||||
|
||||
|
||||
set ld_digest [lindex [exec $sha256sum bin/ld-linux.lib.so] 0]
|
||||
|
||||
Reference in New Issue
Block a user