From 45f6813353f21ef963d8d3548f2a9bd1544bdb81 2016-02-03 17:35:11
From: Thomas Kluyver <thomas@kluyver.me.uk>
Date: 2016-02-03 17:35:11
Subject: [PATCH] Fix importing execfile from toollib on Python 2

---

diff --git a/tools/toollib.py b/tools/toollib.py
index 1b390c7..a5440ea 100644
--- a/tools/toollib.py
+++ b/tools/toollib.py
@@ -59,7 +59,7 @@ def compile_tree(folder='.'):
         raise SystemExit(msg)
 
 try:
-    execfile
+    execfile = execfile
 except NameError:
     def execfile(fname, globs, locs=None):
         locs = locs or globs