diff --git a/tools/nxstyle.c b/tools/nxstyle.c
index 5c12d55017..8ed453619b 100644
--- a/tools/nxstyle.c
+++ b/tools/nxstyle.c
@@ -1459,7 +1459,8 @@ int main(int argc, char **argv, char **envp)
                    */
 
                   if ((strncmp(&line[ident_index], "PRIx", 4) == 0) ||
-                      (strncmp(&line[ident_index], "SYS_", 4) == 0))
+                      (strncmp(&line[ident_index], "SYS_", 4) == 0) ||
+                      (strncmp(&line[ident_index], "STUB_", 5) == 0))
                     {
                       /* No error */
                     }