diff options
Diffstat (limited to 'task_priority/empty.c')
-rw-r--r-- | task_priority/empty.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/task_priority/empty.c b/task_priority/empty.c index a64c828..61907d5 100644 --- a/task_priority/empty.c +++ b/task_priority/empty.c @@ -1,3 +1,7 @@ +/* + * $Id$ + */ + #if defined(__rtems__) #include <rtems.h> #endif |