From 5f6caefe72644075379837f51c06e7c92c388dfe Mon Sep 17 00:00:00 2001 From: BotoX Date: Mon, 19 Aug 2019 15:26:37 +0200 Subject: [PATCH] fix sourcetvmanager to actually be optional --- src/zr/roundend.inc | 9 +++------ 1 file changed, 3 insertions(+), 6 deletions(-) diff --git a/src/zr/roundend.inc b/src/zr/roundend.inc index b3ed7d9..6e96bc8 100644 --- a/src/zr/roundend.inc +++ b/src/zr/roundend.inc @@ -25,12 +25,9 @@ * ============================================================================ */ -/* Decide whether topmenus should be required */ -#if !defined REQUIRE_PLUGIN - #if defined REQUIRE_EXTENSIONS - #define TEMP_REQUIRE_EXTENSIONS - #undef REQUIRE_EXTENSIONS - #endif +#if defined REQUIRE_EXTENSIONS + #define TEMP_REQUIRE_EXTENSIONS + #undef REQUIRE_EXTENSIONS #endif #tryinclude "sourcetvmanager.inc"