nuttx-commits mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
From GitBox <...@apache.org>
Subject [GitHub] [incubator-nuttx] patacongo commented on issue #765: sched/sched_setpriority.c: DEBUGVERIFY, not DEBUGASSERT.
Date Sun, 12 Apr 2020 19:29:17 GMT
patacongo commented on issue #765: sched/sched_setpriority.c:  DEBUGVERIFY, not DEBUGASSERT.
URL: https://github.com/apache/incubator-nuttx/pull/765#issuecomment-612664631
 
 
   > I did some searching to see if there might be other instances of the same problem.
   
   You should submit a PR.  The fix is just to change the DEBUASSERT back to ASSERT.  There
was a wholesale change of ASSERT to DEBUGASSERT with https://github.com/apache/incubator-nuttx/commit/e1202d2ed33a257cd6d812fde8c3a77a4d7c1d01
and this introduced the problem.
   

----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
 
For queries about this service, please contact Infrastructure at:
users@infra.apache.org


With regards,
Apache Git Services

Mime
View raw message