diff --git a/nshlib/nsh_usbdev.c b/nshlib/nsh_usbdev.c index 75f60835f..ed6b928c2 100644 --- a/nshlib/nsh_usbdev.c +++ b/nshlib/nsh_usbdev.c @@ -329,6 +329,8 @@ int nsh_consolemain(int argc, char *argv[]) #else ret = usbdev_serialinitialize(CONFIG_NSH_USBDEV_MINOR); #endif + + (void)ret; /* Eliminate warning if not used */ DEBUGASSERT(ret == OK); #endif @@ -353,6 +355,8 @@ int nsh_consolemain(int argc, char *argv[]) */ ret = nsh_waitusbready(); + + (void)ret; /* Eliminate warning if not used */ DEBUGASSERT(ret == OK); /* Execute the session */