OP-TEE/optee_os — pull request #109 by jforissier (2014-11-07 09:49:12+00:00)
Title: core/core.mk, mk/config.mk: delete unused definitions

Signed-off-by: Jerome Forissier