fix sourcetvmanager to actually be optional

This commit is contained in:
BotoX 2019-08-19 15:26:37 +02:00
parent 435b6fe472
commit 5f6caefe72

View File

@ -25,12 +25,9 @@
* ============================================================================
*/
/* Decide whether topmenus should be required */
#if !defined REQUIRE_PLUGIN
#if defined REQUIRE_EXTENSIONS
#if defined REQUIRE_EXTENSIONS
#define TEMP_REQUIRE_EXTENSIONS
#undef REQUIRE_EXTENSIONS
#endif
#endif
#tryinclude "sourcetvmanager.inc"