Norman Feske a7f40b24ca Warn about the use of deprecated env() function ... This patch enables warnings if one of the deprecate functions that rely in the implicit use of the global Genode::env() accessor are called. For the time being, some places within the base framework continue to rely on the global function while omitting the warning by calling 'env_deprecated' instead of 'env'. Issue #1987		2017-01-13 13:07:13 +01:00
..
doc	hw: get rid of global makefiles specific to hw	2017-01-13 13:06:55 +01:00
etc	hw: get rid of global makefiles specific to hw	2017-01-13 13:06:55 +01:00
include	Warn about the use of deprecated env() function	2017-01-13 13:07:13 +01:00
lib/mk	hw: remove core/ARM specific aspect perf_counter	2017-01-13 13:06:56 +01:00
ports	Update Muen port	2016-08-10 11:07:48 +02:00
run	hw: get rid of global makefiles specific to hw	2017-01-13 13:06:55 +01:00
src	Warn about the use of deprecated env() function	2017-01-13 13:07:13 +01:00