diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2012-11-04 19:59:40 +0100 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2012-11-04 19:59:40 +0100 |
| commit | b830319d49a421741b61ae29ce32ab37f8b970ed (patch) | |
| tree | 9611a0ac70047e08ed3850dce6d9cdf143b9e833 /rt/timer_delete.c | |
| parent | 512a49be20d42af59968513cd5094b3918cf6663 (diff) | |
[BZ #157] Remove include/stub-tag.h for good.
Diffstat (limited to 'rt/timer_delete.c')
| -rw-r--r-- | rt/timer_delete.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/rt/timer_delete.c b/rt/timer_delete.c index 80fb3fc5da..cf2c9b6bf7 100644 --- a/rt/timer_delete.c +++ b/rt/timer_delete.c @@ -26,4 +26,3 @@ timer_delete (timer_t timerid) return -1; } stub_warning (timer_delete) -#include <stub-tag.h> |