Skip to content

Core cache logging improvements #257

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

Merged
merged 2 commits into from
Dec 11, 2017

Conversation

matthijskooijman
Copy link
Collaborator

This PR contains two fairly trivial improvements to the log output concerning core caching.

This previously used the DEBUG level, which is shown in red by the
Arduino IDE. Commit 7883e01 (Let "archiving core" message appear only if
verbose) attempted to fix this, but did not.

While here, this also changes Fprintln with an explicit Stdout argument
to a regular Println, since Stdout is the default anyway.

This commit properly fixes arduino#238.

Signed-off-by: Matthijs Kooijman <[email protected]>
This is more consistent with other similar messages (e.g. "Using
previously compiled file") and provides a direct hint to the user where
this cached core can be deleted if needed.

Signed-off-by: Matthijs Kooijman <[email protected]>
@ArduinoBot
Copy link
Contributor

✅ Build completed.

⬇️ Build URL: http://downloads.arduino.cc/PR/arduino-builder/arduino-builder-257.zip

ℹ️ To test this build:

  1. Replace arduino-builder binary (you can find it where you installed the IDE) with the provided one

@facchinm facchinm merged commit 03d0da6 into arduino:master Dec 11, 2017
@cmaglie cmaglie added this to the 1.4.0 milestone Sep 10, 2018
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.

4 participants