# HG changeset patch
# User bgruening
# Date 1368519070 14400
# Node ID 294a30630e0b4f5e691560302609c19a4fcb6c46
# Parent  5c44ce7e3f7b1b58e120867749504286bd01ea32
Uploaded

diff -r 5c44ce7e3f7b -r 294a30630e0b tool_dependencies.xml
--- a/tool_dependencies.xml	Tue May 14 03:49:55 2013 -0400
+++ b/tool_dependencies.xml	Tue May 14 04:11:10 2013 -0400
@@ -5,18 +5,7 @@
                 <action type="download_by_url">http://bitbucket.org/eigen/eigen/get/2.0.17.tar.gz</action>
                 <action type="make_directory">$INSTALL_DIR/unpacked_source</action>
 
-                <action type="move_directory_files">
-                    <source_directory>bench</source_directory>
-                    <destination_directory>$INSTALL_DIR/unpacked_source/bench</destination_directory>
-                </action>
-                <action type="move_directory_files">
-                    <source_directory>Eigen</source_directory>
-                    <destination_directory>$INSTALL_DIR/unpacked_source/Eigen</destination_directory>
-                </action>
-                <action type="move_directory_files">
-                    <source_directory>scripts</source_directory>
-                    <destination_directory>$INSTALL_DIR/unpacked_source/scripts</destination_directory>
-                </action>
+                <action type="shell_command">cp -r * $INSTALL_DIR/unpacked_source</action>
 
                 <action type="set_environment">
                     <environment_variable name="EIGEN_SOURCE_PATH" action="set_to">$INSTALL_DIR/unpacked_source</environment_variable>