-
Notifications
You must be signed in to change notification settings - Fork 8
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
adapt to moved kernel_pid_t location #14
base: master
Are you sure you want to change the base?
adapt to moved kernel_pid_t location #14
Conversation
fd5b7e7
to
fdf202c
Compare
RIOT-OS/RIOT#15482 showed I'd missed some. |
Can we include sched.h with |
@@ -22,7 +22,6 @@ | |||
|
|||
#include "encoding/shared-block.h" | |||
|
|||
#include <kernel_types.h> | |||
//#include <xtimer.h> |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
this can probably be removed too
"system" header would be headers that are in the compiler's default include paths, which RIOT's headers aren't. |
Are you sure about the whole system header thing of |
Obviously both "" and |
K&R could have saved us from this discusion if they just had not defined the fallback case for it would have been you know the path -> |
Yeah I was under the impression that we use "" for things we write ourselves and |
Zephyr project does it that way at least in that one example did not check other Arduino has the same guideline: |
So - should I change? |
Thinking about it, I'm sorry, I just applied RIOT's convention in this change, not considering at all how ndn-riot is including files. Doing that, I didn't follow ndn-riot's previous style, causing inconsistency and discussion... I pushed a fixup commit changing to |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for the changes!
RIOT will soon drop the used kernel_types.h header.
This PR updates ndn-riot to use the new location of the used kernel_pid_t.