# HG changeset patch
# User bgruening
# Date 1368562638 14400
# Node ID fa6a1739bbd4d51f49c6544e725d8b7bbbd5f14e
# Parent  6c80d36c61b05d405bd39f699880c442a3f161b3
Uploaded

diff -r 6c80d36c61b0 -r fa6a1739bbd4 tool_dependencies.xml
--- a/tool_dependencies.xml	Tue May 14 15:54:06 2013 -0400
+++ b/tool_dependencies.xml	Tue May 14 16:17:18 2013 -0400
@@ -6,9 +6,9 @@
                 <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">cmake . -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR/eigen3/</action>
-                <action type="shell_command">make</action>
-                <action type="shell_command">make install</action>
+                <action type="shell_command">cd ./eigen-eigen-2249f9c22fe8  &amp;&amp; cmake . -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR/eigen3/</action>
+                <action type="shell_command">cd ./eigen-eigen-2249f9c22fe8  &amp;&amp; make</action>
+                <action type="shell_command">cd ./eigen-eigen-2249f9c22fe8  &amp;&amp; make install</action>
 
                 <action type="set_environment">
                     <environment_variable name="EIGEN3_SOURCE_PATH" action="set_to">$INSTALL_DIR/unpacked_source</environment_variable>