1 files changed, 5 insertions, 0 deletions
diff --git a/Config.in b/Config.in
index 12d36b5c83..2b401cb8a2 100644
--- a/Config.in
+++ b/Config.in
@@ -493,4 +493,9 @@ source "package/Config.in.host"
 
 source "Config.in.legacy"
 
+menu "User-provided options"
+	depends on BR2_EXTERNAL != "support/dummy-external"
+
 source "$BR2_EXTERNAL/Config.in"
+
+endmenu