linux57: Fix leak error for CONFIG_PDS in make deb-pkg (#36)

This commit is contained in:
Adel Kara Slimane
2020-08-04 13:18:03 +02:00
committed by GitHub
parent 2545ec9d24
commit 6ab568ff2a
2 changed files with 3 additions and 3 deletions

View File

@@ -569,9 +569,9 @@ index 3bac0a8ceab2..d6d384ddb57d 100644
#define SCHED_BATCH 3
-/* SCHED_ISO: reserved but not implemented yet */
+/* SCHED_ISO: Implemented in BFS/MuQSSPDS only */
+#ifdef CONFIG_SCHED_PDS
+
+#define SCHED_ISO 4
+#endif
+
#define SCHED_IDLE 5
#define SCHED_DEADLINE 6