commit | 5dc030cd01dd6ea4e8e431c1189ef0cb9db73bb4 | [log] [tgz] |
---|---|---|
author | Joakim Bech <joakim.bech@linaro.org> | Tue Apr 23 15:36:48 2019 +0200 |
committer | Jérôme Forissier <jerome.forissier@linaro.org> | Fri May 10 13:59:42 2019 +0200 |
tree | b538e94d076a6c1174d8c78e2bd81c8356c79a2b | |
parent | ed79f25848a12ff04a5097c0969705d8e950152e [diff] |
common: remove deprecated gnome-terminal flag On recent versions of gnome-terminal you will get this warning: "Option "-t" is deprecated and might be removed in a later version of gnome-terminal." There seems to be no substitution for it, therefore let's just get rid of it. Signed-off-by: Joakim Bech <joakim.bech@linaro.org> Reviewed-by: Jerome Forissier <jerome.forissier@linaro.org>
This git contains makefiles etc to be able to build a full OP-TEE developer setup for the OP-TEE project.
All official OP-TEE documentation has moved to http://optee.readthedocs.io. The pages that used to be here in this git can be found under build and Device specific information at he new location for the OP-TEE documentation.
// OP-TEE core maintainers