From df2a0df4e68d4a5fa850e2b805c8645d27405cc5 Mon Sep 17 00:00:00 2001
From: Jack Lloyd <jack@randombit.net>
Date: Sun, 9 Apr 2023 19:24:47 -0400
Subject: [PATCH] Allow the user to disable internal modules

---
 configure.py | 2 --
 1 file changed, 2 deletions(-)

diff --git a/configure.py b/configure.py
index 095e3e36788..4625c6e40bf 100755
--- a/configure.py
+++ b/configure.py
@@ -2380,8 +2380,6 @@ def _validate_user_selection(modules, enabled_modules, disabled_modules):
         for modname in disabled_modules:
             if modname not in modules:
                 logging.warning("Disabled module not found: %s", modname)
-            if not modules[modname].is_public():
-                logging.error("Module '%s' is meant for internal use only", modname)
 
     def _handle_by_module_policy(self, modname, module, usable):
         if self._module_policy is not None: