changeset 2:09eb05087cd0

Uploaded
author bgruening
date Tue, 14 May 2013 04:16:32 -0400
parents 294a30630e0b
children 27df0c3f6201
files tool_dependencies.xml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/tool_dependencies.xml	Tue May 14 04:11:10 2013 -0400
+++ b/tool_dependencies.xml	Tue May 14 04:16:32 2013 -0400
@@ -5,7 +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="shell_command">cp -r * $INSTALL_DIR/unpacked_source</action>
+                <action type="shell_command">cp -r ./eigen-eigen-b23437e61a07/* $INSTALL_DIR/unpacked_source</action>
 
                 <action type="set_environment">
                     <environment_variable name="EIGEN_SOURCE_PATH" action="set_to">$INSTALL_DIR/unpacked_source</environment_variable>