From 3cf3344fa38d337d0aeaa8f570d4b83a69252e33 Mon Sep 17 00:00:00 2001 From: Stefan Kalkowski Date: Tue, 29 Sep 2020 13:50:23 +0200 Subject: [PATCH] sel4 + foc: extend port's tool check rules --- repos/base-foc/ports/foc.hash | 2 +- repos/base-foc/ports/foc.port | 2 ++ repos/base-sel4/ports/sel4_tools.hash | 2 +- repos/base-sel4/ports/sel4_tools.port | 1 + 4 files changed, 5 insertions(+), 2 deletions(-) diff --git a/repos/base-foc/ports/foc.hash b/repos/base-foc/ports/foc.hash index a63d39ace0..e2947d29c1 100644 --- a/repos/base-foc/ports/foc.hash +++ b/repos/base-foc/ports/foc.hash @@ -1 +1 @@ -ce2d3e9f54b383ef2368e4cd285b0b48b0424f63 +2e8cbb44d4c009238d96b66a9fc085e038f22e61 diff --git a/repos/base-foc/ports/foc.port b/repos/base-foc/ports/foc.port index b6efcfcddc..81496991b2 100644 --- a/repos/base-foc/ports/foc.port +++ b/repos/base-foc/ports/foc.port @@ -37,3 +37,5 @@ PATCH_OPT(patches/0014-Always-enable-user-mode-access-for-performance-monit.patc PATCH_OPT(patches/0015-VMX-disable-event-injection-if-requested-by-VMM.patch) := -p3 -d${DIR(foc)} PATCH_OPT(patches/0016-svm-provide-cr0-to-guest-if-np-enabled.patch) := -p3 -d${DIR(foc)} PATCH_OPT(patches/0017-svm-avoid-forceful-exit-on-task-switch.patch) := -p3 -d${DIR(foc)} + +$(call check_tool,gawk) diff --git a/repos/base-sel4/ports/sel4_tools.hash b/repos/base-sel4/ports/sel4_tools.hash index 9674e46913..cb62a3f6b4 100644 --- a/repos/base-sel4/ports/sel4_tools.hash +++ b/repos/base-sel4/ports/sel4_tools.hash @@ -1 +1 @@ -4ee1b92defa12f61ad427c341e7f046324319e90 +78557e468a0afa132d2ed90b54c0c8f38686240c diff --git a/repos/base-sel4/ports/sel4_tools.port b/repos/base-sel4/ports/sel4_tools.port index a93994ab52..17c2bc1782 100644 --- a/repos/base-sel4/ports/sel4_tools.port +++ b/repos/base-sel4/ports/sel4_tools.port @@ -8,3 +8,4 @@ REV(sel4_tools) := 3839bb9740f8f13266de4273774004634388a2f7 DIR(sel4_tools) := src/tool/sel4_tools $(call check_tool,python) +$(call check_tool,cpio)