summaryrefslogtreecommitdiffstats
path: root/options
diff options
context:
space:
mode:
authorwm4 <wm4@nowhere>2017-06-23 15:05:07 +0200
committerwm4 <wm4@nowhere>2017-06-23 15:05:07 +0200
commit54e2b1e9f3e64c1724b2ed52c177508e9b23a404 (patch)
treea2a827917310c45ec7de6d8388698248adc250e2 /options
parent6ddd95fd6a66ebc8d52f416b13e18433fa0ec488 (diff)
downloadmpv-54e2b1e9f3e64c1724b2ed52c177508e9b23a404.tar.bz2
mpv-54e2b1e9f3e64c1724b2ed52c177508e9b23a404.tar.xz
player: disable --priority for WIP LGPL mode
Due to commit 14ecebe9: author could not be reached. I don't think anything copyrightable is left, but to be sure make it GPL-only.
Diffstat (limited to 'options')
-rw-r--r--options/options.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/options/options.c b/options/options.c
index 5eec6070c6..56c6e3151a 100644
--- a/options/options.c
+++ b/options/options.c
@@ -269,7 +269,7 @@ const m_option_t mp_opts[] = {
OPT_STRING("log-file", log_file, CONF_PRE_PARSE | M_OPT_FILE | UPDATE_TERM),
OPT_FLAG("msg-module", msg_module, UPDATE_TERM),
OPT_FLAG("msg-time", msg_time, UPDATE_TERM),
-#ifdef _WIN32
+#if defined(_WIN32) && HAVE_GPL
OPT_CHOICE("priority", w32_priority, UPDATE_PRIORITY,
({"no", 0},
{"realtime", REALTIME_PRIORITY_CLASS},