From efca9d5ce551317c86a32ccf8a114d08092f32cc Mon Sep 17 00:00:00 2001
From: Sashko Stubailo <sashko@mit.edu>
Date: Thu, 18 Dec 2014 16:40:30 -0800
Subject: [PATCH] Remove extra line

---
 tools/main.js | 1 -
 1 file changed, 1 deletion(-)

diff --git a/tools/main.js b/tools/main.js
index b62ba65895..28b2b5256f 100644
--- a/tools/main.js
+++ b/tools/main.js
@@ -445,7 +445,6 @@ var springboard = function (rel, options) {
   }
 
   if (process.platform === 'win32') {
-    var toolsRoot = path.join(packagePath, toolRecord.path);
     var ret = new Future();
     var child = require("child_process").spawn(
       files.convertToOSPath(executable + ".bat"), newArgv,