From bfea7d526fc6d4d2d0b1417092b99e665b68e7c5 Mon Sep 17 00:00:00 2001
From: Joerg Bornschein <bornschein@fias.uni-frankfurt.de>
Date: Sun, 22 Sep 2013 16:34:27 +0200
Subject: [PATCH] Cleanup in menuconfig

---
 scripts/Menuconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/Menuconfig b/scripts/Menuconfig
index 111ef89..ce541e2 100644
--- a/scripts/Menuconfig
+++ b/scripts/Menuconfig
@@ -1754,6 +1754,7 @@ if [ -z $2 ]; then             # Interactive mode
 else                            # Second argument give; noninteractive!
 	echo "Loading configuration file $2"
 	load_config_file $2
+	cleanup1
 	save_configuration
 fi