From c2652d2f48f441603f856a62e532695368ef4bdc Mon Sep 17 00:00:00 2001
From: Jussi Pakkanen <jpakkane@gmail.com>
Date: Wed, 26 Dec 2012 16:07:52 +0200
Subject: [PATCH] Fix warning.

---
 runbuilder.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/runbuilder.py b/runbuilder.py
index 127ff21b2..7b04d2a80 100755
--- a/runbuilder.py
+++ b/runbuilder.py
@@ -35,6 +35,7 @@ class Builder():
         fname = os.path.join(dirname, Builder.builder_filename)
         try:
             ifile = open(fname, 'r')
+            ifile.close()
             return True
         except IOError:
             return False