From 54e2b1e9f3e64c1724b2ed52c177508e9b23a404 Mon Sep 17 00:00:00 2001
From: wm4 <wm4@nowhere>
Date: Fri, 23 Jun 2017 15:05:07 +0200
Subject: 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.
---
 options/options.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'options')

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},
-- 
cgit v1.2.3