diff options
Diffstat (limited to 'options/options.c')
| -rw-r--r-- | options/options.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/options/options.c b/options/options.c index 44d9652cc6..a6adb9cd88 100644 --- a/options/options.c +++ b/options/options.c @@ -313,7 +313,10 @@ const m_option_t mp_opts[] = { // ------------------------- demuxer options -------------------- +#if HAVE_GPL + // Possibly GPL due to d8fd7131bbcde029ab41799fd3162050b43f6848. OPT_CHOICE_OR_INT("frames", play_frames, 0, 0, INT_MAX, ({"all", -1})), +#endif OPT_REL_TIME("start", play_start, 0), OPT_REL_TIME("end", play_end, 0), |