# HG changeset patch
# User bgruening
# Date 1368562557 14400
# Node ID 7293f118efefde9d8b2e6c92ad21647da7a41bad
# Parent  27df0c3f6201637833d3c0528914e827bbdc1a48
Uploaded

diff -r 27df0c3f6201 -r 7293f118efef tool_dependencies.xml
--- a/tool_dependencies.xml	Tue May 14 16:10:49 2013 -0400
+++ b/tool_dependencies.xml	Tue May 14 16:15:57 2013 -0400
@@ -6,9 +6,9 @@
                 <action type="make_directory">$INSTALL_DIR/unpacked_source</action>
 
                 <action type="shell_command">cp -r ./eigen-eigen-b23437e61a07/* $INSTALL_DIR/unpacked_source</action>
-                <action type="shell_command">cmake . -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR/eigen2/</action>
-                <action type="shell_command">make</action>
-                <action type="shell_command">make install</action>
+                <action type="shell_command">cd ./eigen-eigen-b23437e61a07 &amp;&amp; cmake . -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR/eigen2/</action>
+                <action type="shell_command">cd ./eigen-eigen-b23437e61a07 &amp;&amp; make</action>
+                <action type="shell_command">cd ./eigen-eigen-b23437e61a07 &amp;&amp; make install</action>
 
                 <action type="set_environment">
                     <environment_variable name="EIGEN2_SOURCE_PATH" action="set_to">$INSTALL_DIR/unpacked_source</environment_variable>