diff options
-rw-r--r-- | player/command.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/player/command.c b/player/command.c index 01988a8251..7df0c8a6c3 100644 --- a/player/command.c +++ b/player/command.c @@ -3668,6 +3668,8 @@ static void replace_overlay(struct MPContext *mpctx, int id, struct overlay *new // Do this afterwards, so we never unmap while the OSD is using it. if (old.osd.bitmap && old.map_size) munmap(old.osd.bitmap, old.map_size); +#else + (void)old; #endif } |