Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix loading of PICO_TOOLCHAIN_PATH #262

Merged
merged 1 commit into from
Mar 18, 2021

Conversation

josesimoes
Copy link
Contributor

@josesimoes josesimoes commented Mar 16, 2021

@lurch
Copy link
Contributor

lurch commented Mar 16, 2021

Nice 👍 Apologies if any of my uninformed comments threw you off the scent! 👃

@@ -1,6 +1,6 @@
# PICO_CMAKE_CONFIG: PICO_TOOLCHAIN_PATH, Path to search for compiler, default=none (i.e. search system paths), group=build
# Set your compiler path here if it's not in the PATH environment variable.
set(PICO_TOOLCHAIN_PATH "" CACHE INTERNAL "")
# Set your compiler path here with PICO_TOOLCHAIN_PATH CMake option, if it's not in the PATH environment variable.
Copy link
Contributor

Choose a reason for hiding this comment

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

I'd remove this comment completely - the PICO_CMAKE_CONFIG comment explains what the var is for.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Done

@kilograham kilograham linked an issue Mar 17, 2021 that may be closed by this pull request
@kilograham kilograham changed the base branch from develop to develop-1.1.1 March 18, 2021 19:42
@kilograham kilograham changed the base branch from develop-1.1.1 to develop March 18, 2021 19:43
@kilograham
Copy link
Contributor

sorry, can you please rebase this onto develop-1.1.1 (it'll get released sooner that way) - still working thru the best branching policy!

- Add double quotes because build option it's a string.
- Remove comment as requested by @kilograham.
- Resolves raspberrypi#258.
@josesimoes josesimoes changed the base branch from develop to develop-1.1.1 March 18, 2021 19:56
@josesimoes
Copy link
Contributor Author

@kilograham I've started started over from develop1.1.1 and changed the base as develop1.1.1.
Trust this is how you wanted it...

@kilograham kilograham merged commit 304ab7d into raspberrypi:develop-1.1.1 Mar 18, 2021
@kilograham kilograham added this to the 1.1.1 milestone Mar 22, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Build option PICO_TOOLCHAIN_PATH has no effect
3 participants