openocd: fix SPDX tag format for files .c

[fw/openocd] / contrib / rtos-helpers / FreeRTOS-openocd.c

diff --git a/contrib/rtos-helpers/FreeRTOS-openocd.c b/contrib/rtos-helpers/FreeRTOS-openocd.c
index 567e710b0b12422fb6bcaccbde9c1b179b09c96c..000453d5d462d9671bd122afcfc29c203ec58d7e 100644 (file)
--- a/contrib/rtos-helpers/FreeRTOS-openocd.c
+++ b/contrib/rtos-helpers/FreeRTOS-openocd.c
@@ -1,3 +1,5 @@
+// SPDX-License-Identifier: GPL-2.0-or-later
+
 /*
  * Since at least FreeRTOS V7.5.3 uxTopUsedPriority is no longer
  * present in the kernel, so it has to be supplied by other means for
@@ -17,4 +19,4 @@
 #define USED
 #endif
 
-const int USED uxTopUsedPriority = configMAX_PRIORITIES;
+const int USED uxTopUsedPriority = configMAX_PRIORITIES - 1;