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)