The USB monitor now works with the stm32f4discover/nsh configuration (but not with the usbnsh configuration)

git-svn-id: http://svn.code.sf.net/p/nuttx/code/trunk@5580 42af7a65-404d-4744-a932-0658087f49c3
2026-10-26 08:43:34 +08:00 · 2013-01-29 17:42:58 +00:00
parent 2946cb47a8
commit fb94bc1258
9 changed files with 224 additions and 72 deletions
@@ -168,8 +168,10 @@ static inline int syslog_takesem(void)

 static inline void syslog_givesem(void)
 {
+#ifdef CONFIG_DEBUG
  pid_t me = getpid();
  DEBUGASSERT(g_sysdev.sl_holder == me);
+#endif

  /* Relinquish the semaphore */