make: adapt develhelp for all examples#8081
Conversation
|
Please remember to wait with this, until #7925 is merged. |
Why? This would disable all assertions, ps, extra checks, ... |
5377a40 to
4303d17
Compare
|
@kaspar030 IMHO the examples are more like productive applications, hence DEVELHELP would be off by default, but can still be enabled (e.g. in CI) when needed. On the other hand, for |
Why? What's there to gain? |
Could ask the same the other way around 😉 Or: what exactly is lost by disabling DEVELHELP for examples, it can be enabled (as said) easily e.g. for CI builds and any prevalent issues should be discovered/pop up compiling/running the tests not examples. If the examples (should) target RIOT beginners and users (not only developers), I don't see the point of having DEVELHELP enabled by default. It increased binary sizes and may through rather pedantic compiler errors (not necessarily causing any runtime issues) which only irritate inexperienced users and frustrate them right at the start. |
|
First thing that comes to mind is the shorted output of the |
Agreed, but then IMHO it would be better to change/enhance the default output of the |
|
I prefer
Uhmm... Thread names are the epitome of a development helper. They serve no other purpose other than giving the developer a hint which thread is which. So activating them for anything else but |
|
Okay, to ease things (for now) I let DEVELHELP state unchanged for examples, i.e., leave as is: on for some off for other examples. We may change this later on. Regarding TL;DR: I revert my changes, and leave state of DEVELHELP (on/off) for examples as is now. |
Seeing what state a thread is in. Very helpful if you run into a deadlock ;-). |
|
Also not having no names doesn't mean you can't identify which thread is which (there is still the PID). It's just easier with names. |
4303d17 to
1060616
Compare
examples/nanocoap_server/Makefile
Outdated
| # which is not needed in a production environment but helps in the | ||
| # development process: | ||
| DEVELHELP ?= 1 | ||
| DEVELHELP ?= 0 |
There was a problem hiding this comment.
Nitpick: the comment doesn't make sense if the line says ?=0. Feel free to change the line to #DEVELHELP ?= 1
|
I agree with Martine and Kaspar, for newcomers the DEVELHELP switch should be on by default. Regarding ps without DEVELHELP: |
|
GNRC embargo is lifted. When this is ACK'd it may be merged |
43ad593 to
da5ff45
Compare
|
rebased and squashed |
examples/nanocoap_server/Makefile
Outdated
| # which is not needed in a production environment but helps in the | ||
| # development process: | ||
| #CFLAGS += -DDEVELHELP | ||
| DEVELHELP ?= 0 |
There was a problem hiding this comment.
Only problem here is the same as kaspaar, but it is not shown as he already ACKed
Nitpick: the comment doesn't make sense if the line says ?=0. Feel free to change the line to #DEVELHELP ?= 1
There was a problem hiding this comment.
yeah right, missed to adapt that one
cladmi
left a comment
There was a problem hiding this comment.
I will ACK after this small fix.
da5ff45 to
9376acd
Compare
|
@cladmi adapted comment |
|
Fixing and amending commit in the same one, its harder to read… (just kidding :D) |
factored out from #8029, disable develhelp for all examples