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

Merge pull request #12402 from devran01/update_dependencies 

Fix dependency (`requires` attribute) issue
pull/15408/head
Martin Kojtal 2020-02-11 08:29:18 +00:00 committed by GitHub
parent 34dbf05349 6d41f18c69
commit 70e5780a8d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
TESTS/configs/baremetal.json
View File

@ -6,6 +6,7 @@
"utest", "utest",
"unity", "unity",
"psa", "psa",
"psa-services",
"mbed-crypto", "mbed-crypto",
"mbedtls", "mbedtls",
"psa-compliance-framework", "psa-compliance-framework",