ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fix compilation for single v7 platforms

pull/9529/head
Oren Cohen 2019-01-31 21:26:47 +02:00
parent 3f92beb08b
commit c11904e097
No known key found for this signature in database
GPG Key ID: 6F54A3184C6F8FF9
2 changed files with 5 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
components/TARGET_PSA/inc/psa/client.h
View File

@ -18,6 +18,6 @@
#if defined(TARGET_TFM)
#include "interface/include/psa_client.h"
#else
#include "psa_defs.h"
#include "spm_client.h"
#include "TARGET_MBED_SPM/psa_defs.h"
#include "TARGET_MBED_SPM/spm_client.h"
#endif

6
components/TARGET_PSA/inc/psa/service.h
View File

@ -18,7 +18,7 @@
#if defined(TARGET_TFM)
#include "interface/include/psa_service.h"
#else
#include "psa_defs.h"
#include "spm_server.h"
#include "spm_panic.h"
#include "TARGET_MBED_SPM/psa_defs.h"
#include "TARGET_MBED_SPM/COMPONENT_SPE/spm_server.h"
#include "TARGET_MBED_SPM/COMPONENT_SPE/spm_panic.h"
#endif