diff options
Diffstat (limited to 'coverity/rtems-coverity-model.c')
| -rw-r--r-- | coverity/rtems-coverity-model.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/coverity/rtems-coverity-model.c b/coverity/rtems-coverity-model.c new file mode 100644 index 0000000..426b5d3 --- /dev/null +++ b/coverity/rtems-coverity-model.c @@ -0,0 +1,5 @@ +// +// RTEMS currently does not have anything to model for Coverity. +// Having a file makes them happy we have a fully configured project. :) +// + |