denshooter/genode
1
0
Fork 0
mirror of https://github.com/mmueller41/genode.git synced 2026-01-21 12:32:56 +01:00
Code Issues Packages Projects Releases Wiki Activity

tool/ports: streamline hash tool usage

Browse Source
This commit is contained in:
Christian Helmuth
2018-05-15 15:37:24 +02:00
parent 82897d672e
commit 66d44289e1
4 changed files with 8 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tool/ports/mk/common.inc
View File

@@ -7,7 +7,6 @@
SHELL := bash
VERBOSE ?= @
ECHO := echo -e
HASHSUM := sha1sum
BRIGHT_COL ?= \x1b[01;33m
DARK_COL ?= \x1b[00;33m
@@ -25,3 +24,8 @@ MSG_GIT := $(MSG_PREFIX_TXT)git
# Force stable sorting order
export LC_COLLATE=C
#
# Utility to check if a tool is installed
#
check_tool = $(if $(shell which $(1)),,$(error Need to have '$(1)' installed.))