From 62de16158d21d2ca9ba425a81bf27958217a9e9c Mon Sep 17 00:00:00 2001
From: Sebastian Sumpf <sebastian.sumpf@genode-labs.com>
Date: Wed, 20 Jun 2018 10:44:15 +0200
Subject: [PATCH] run: rename 'check_installed' to 'installed_command'

issue genodelabs/genode#2853
---
 run/lz_rom_noux.run | 2 +-
 run/rom_verify.run  | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/run/lz_rom_noux.run b/run/lz_rom_noux.run
index 2325683..c1613d6 100644
--- a/run/lz_rom_noux.run
+++ b/run/lz_rom_noux.run
@@ -1,4 +1,4 @@
-set sha256sum     [check_installed sha256sum]
+set sha256sum     [installed_command sha256sum]
 
 build {
 	core init
diff --git a/run/rom_verify.run b/run/rom_verify.run
index b2c1285..2bd6910 100644
--- a/run/rom_verify.run
+++ b/run/rom_verify.run
@@ -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]