aboutsummaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
Diffstat (limited to 'scripts')
-rw-r--r--scripts/kernel.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/kernel.py b/scripts/kernel.py
index c41fe1f..d989f8a 100644
--- a/scripts/kernel.py
+++ b/scripts/kernel.py
@@ -20,6 +20,7 @@ def config(txtconfig):
conf.kernel_config_output, env=utils.get_kernel_env())
except exceptions.ProcessFailed:
raise exceptions.ConfigurationError("some configs mismatch")
+ infile.close()
os.chdir(wd)
#def config_noprogram():