diff options
Diffstat (limited to 'src/gtimer')
| -rw-r--r-- | src/gtimer/gtimer.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/gtimer/gtimer.c b/src/gtimer/gtimer.c index b8f3d4fa..311176fa 100644 --- a/src/gtimer/gtimer.c +++ b/src/gtimer/gtimer.c @@ -126,7 +126,8 @@ void _gtimerInit(void) void _gtimerDeinit(void)
{
- /* ToDo */
+ gfxSemDestroy(&waitsem);
+ gfxMutexDestroy(&mutex);
}
void gtimerInit(GTimer *pt) {
|