Skip to content
Closed
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
15 changes: 15 additions & 0 deletions getting-started/mbed_profile.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,15 @@
{
"GCC_ARM": {},
"ARMC6": {
"common": ["-O1"]
},
"ARM": {
"common": ["-O1"]
},
"uARM": {
"common": ["-O1"]
},
"IAR": {
"common": ["-Ol"]
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This causes an error with IAR: [ERROR] Command line error: Option -O can only occur once

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Bah, so we need a standalone profile. I am not a fan of maintaining that. I'll see if we can take a better approach.

}

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Please add "GCC_ARM": {} so that we can use the same command line regardless of the target.

(Arguably the fact that mbed compile -t FOO --profile P1 --profile P2 requires FOO to have an entry in both P1 and P2 is a bug in mbed-cli, but we have to work with mbed-cli as it is.)

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I was expecting the user not to pass the profile option if they didn't need the workaround. I've added all toolchains, since there is at least one user who wanted to use the profile options on non-affected toolchains.

}