From a63afe53ae4afa942c6dff8a6cdf14f184d8ea3a Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Wed, 8 Nov 2017 09:19:08 +0100
Subject: [PATCH] sel4: check for python module "six"

---
 repos/base-sel4/ports/sel4.hash | 2 +-
 repos/base-sel4/ports/sel4.port | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/repos/base-sel4/ports/sel4.hash b/repos/base-sel4/ports/sel4.hash
index 3bbeb1e8b..aa95dad30 100644
--- a/repos/base-sel4/ports/sel4.hash
+++ b/repos/base-sel4/ports/sel4.hash
@@ -1 +1 @@
-fac219549e9515349e61deae22a199ae3196e67a
+028fc711083263437bd4ed469b54eb7435ba2ea7
diff --git a/repos/base-sel4/ports/sel4.port b/repos/base-sel4/ports/sel4.port
index a447355c7..558ae3376 100644
--- a/repos/base-sel4/ports/sel4.port
+++ b/repos/base-sel4/ports/sel4.port
@@ -11,6 +11,7 @@ $(call check_tool,python)
 $(call check_python_module,future)
 $(call check_python_module,tempita)
 $(call check_python_module,ply)
+$(call check_python_module,six)
 
 PATCHES   := $(sort $(wildcard $(REP_DIR)/patches/*.patch))