commit | 0ef63b3c1b840721222faf3a0195acae3772181b | [log] [tgz] |
---|---|---|
author | Mark-PK Tsai <mark-pk.tsai@mediatek.com> | Fri Jul 01 17:09:42 2022 +0800 |
committer | Jérôme Forissier <jerome@forissier.org> | Tue Jul 05 14:39:59 2022 +0200 |
tree | 99683e5b01c7635434d3b735be622e937349b3ef | |
parent | 681e0e62026c424990bc50c5406b07bb0633764f [diff] |
common: add -t to set initial title for gnome-terminal The warning on option "-t" is remove in below commit. https://gitlab.gnome.org/GNOME/gnome-terminal/-/commit/54da2fe919634e2d6a6aab392b36449947b812cd And it seens work again, so add it back to make the terminal title understandable. Signed-off-by: Mark-PK Tsai <mark-pk.tsai@mediatek.com> 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