# HG changeset patch
# User bgruening
# Date 1368562945 14400
# Node ID 4c6b4f8c8fccb83ed39fb054ee7bfb853660717c
# Parent  36dd8c487684931754812e03a0d350d1ae11f93f
Uploaded

diff -r 36dd8c487684 -r 4c6b4f8c8fcc tool_dependencies.xml
--- a/tool_dependencies.xml	Tue May 14 16:21:10 2013 -0400
+++ b/tool_dependencies.xml	Tue May 14 16:22:25 2013 -0400
@@ -6,7 +6,7 @@
                 <action type="make_directory">$INSTALL_DIR/unpacked_source</action>
 
                 <action type="shell_command">cp -r ./eigen-eigen-2249f9c22fe8/* $INSTALL_DIR/unpacked_source</action>
-                <action type="shell_command">cd ./eigen-eigen-2249f9c22fe8 &amp;&amp; mkdir build &amp;&amp; cmake . -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR/eigen3/</action>
+                <action type="shell_command">mkdir build &amp;&amp; cd ./eigen-eigen-2249f9c22fe8/build/ &amp;&amp; cmake . -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR/eigen3/</action>
                 <action type="shell_command">cd ./eigen-eigen-2249f9c22fe8/build/ &amp;&amp; make</action>
                 <action type="shell_command">cd ./eigen-eigen-2249f9c22fe8/build/ &amp;&amp; make install</action>