From 01bd87e90b4e1aeac83fc85bbaaace1e4220bdde Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Tue, 27 Aug 2019 15:58:16 +0200
Subject: [PATCH] tool/port: re-enable check_tool in install.mk

The check was accidentally in

  66d44289e1 tool/ports: streamline hash tool usage

because $(call VAR, ...) just expands to nothing without errors if VAR
is undefined.
---
 tool/ports/mk/install.mk | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/tool/ports/mk/install.mk b/tool/ports/mk/install.mk
index 0c78b5882..6fe5271ab 100644
--- a/tool/ports/mk/install.mk
+++ b/tool/ports/mk/install.mk
@@ -42,16 +42,16 @@ _assert = $(if $(strip $1),$1,$(info Error: $(strip $2))$(error ))
 #
 _prefer = $(if $1,$1,$2)
 
-#
-# Include definitions provided by the port description file
-#
-include $(PORT)
-
 #
 # Include common definitions
 #
 include $(GENODE_DIR)/tool/ports/mk/common.inc
 
+#
+# Include definitions provided by the port description file
+#
+include $(PORT)
+
 $(call check_tool,wget)
 $(call check_tool,patch)
 $(call check_tool,sha256sum)