diff options
Diffstat (limited to 'player/osd.c')
-rw-r--r-- | player/osd.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/player/osd.c b/player/osd.c index 75f4cdcf7b..67f2d05298 100644 --- a/player/osd.c +++ b/player/osd.c @@ -441,6 +441,8 @@ static void sadd_osd_status(char **buffer, struct MPContext *mpctx, int level) talloc_free(text); } else { sadd_hhmmssff_u(buffer, get_playback_time(mpctx), fractions); +#if HAVE_GPL + // Potentially GPL due to 8d190244d21a4d40bb9e8f7d51aa09ca1888de09. if (level == 3) { double len = get_time_length(mpctx); if (len >= 0) { @@ -449,6 +451,7 @@ static void sadd_osd_status(char **buffer, struct MPContext *mpctx, int level) } sadd_percentage(buffer, get_percent_pos(mpctx)); } +#endif } } } |