Skip to content

Conversation

@facchinm
Copy link
Member

@facchinm facchinm commented Mar 4, 2016

Fixes #99

Simply add the filename to any #line directive

Signed-off-by: Martino Facchin <m.facchin@arduino.cc>
@facchinm
Copy link
Member Author

facchinm commented Mar 4, 2016

Adding test right now
@per1234 @matthijskooijman

@cmaglie cmaglie merged commit 8e68b65 into arduino:master Mar 10, 2016
@cmaglie cmaglie added this to the 1.3.15 milestone Mar 10, 2016
@cmaglie cmaglie deleted the line-directives branch January 11, 2018 09:51
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.

3 participants