genode/tool/depot/mk/common.inc

33 lines
543 B
PHP
Raw Normal View History

#
# \brief Common environment
# \author Norman Feske
# \date 2014-05-27
#
SHELL := bash
VERBOSE ?= @
ECHO := echo -e
HASHSUM := sha1sum
MAKEFLAGS += --no-print-directory
BRIGHT_COL ?= \x1b[01;33m
DARK_COL ?= \x1b[00;33m
DEFAULT_COL ?= \x1b[0m
MSG_PREFIX_TXT := $(DARK_COL)$(TARGET) $(DEFAULT_COL)
MSG_PREFIX := $(ECHO) "$(MSG_PREFIX_TXT)"
define NEWLINE
endef
EMPTY :=
#
# Utility to read content from a file if it exists and the given file name
# is not empty.
#
file_content = $(if $(wildcard $1),$(shell cat $1),)