diff options
author | KONRAD Frederic <frederic.konrad@adacore.com> | 2020-05-18 15:02:38 +0200 |
---|---|---|
committer | Laurent Vivier <laurent@vivier.eu> | 2020-06-10 11:29:44 +0200 |
commit | fe18e6eecdd45d3dff0c8968cbb07c5e02fbe4c8 (patch) | |
tree | 36e55b40565cd24eece5b998f8353d75eaf37be6 /.mailmap | |
parent | 1db889c71f37d5bad411b2ef83a69739d9d598f9 (diff) |
semihosting: remove the pthread include which seems unused
This have been introduced by:
8de702cb677c8381fb702cae252d6b69aa4c653b
It doesn't seem to be used so remove it.
Signed-off-by: KONRAD Frederic <frederic.konrad@adacore.com>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Acked-by: Alex Bennée <alex.bennee@linaro.org>
Message-Id: <1589806958-23511-1-git-send-email-frederic.konrad@adacore.com>
Signed-off-by: Laurent Vivier <laurent@vivier.eu>
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions