# HG changeset patch
# User bgruening
# Date 1368569948 14400
# Node ID f2ad414ef5fb551455852079950c9e13bd8219d9
# Parent  337c3e2273dd42defbbefd3e852e5b28c8c7e6d7
Uploaded

diff -r 337c3e2273dd -r f2ad414ef5fb tool_dependencies.xml
--- a/tool_dependencies.xml	Tue May 14 17:04:05 2013 -0400
+++ b/tool_dependencies.xml	Tue May 14 18:19:08 2013 -0400
@@ -14,7 +14,7 @@
                     </repository>
                 </action>
 
-                <action type="shell_command">cmake . -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR -DEIGEN2_INCLUDE_DIR=$EIGEN_SOURCE_PATH</action>
+                <action type="shell_command">cmake . -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR -DEIGEN2_INCLUDE_DIR=$EIGEN2_SOURCE_PATH</action>
                 <action type="shell_command">make</action>
                 <action type="shell_command">make install</action>
                 <action type="set_environment">