fix sourcetvmanager to actually be optional

This commit is contained in:
BotoX 2019-08-19 15:26:37 +02:00 committed by zaCade
parent 88565c4b4e
commit 9f465bc4a1

View File

@ -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"