changeset 12:f2ad414ef5fb

Uploaded
author bgruening
date Tue, 14 May 2013 18:19:08 -0400
parents 337c3e2273dd
children 92dd5268e9cd
files tool_dependencies.xml
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/tool_dependencies.xml	Tue May 14 17:04:05 2013 -0400
+++ b/tool_dependencies.xml	Tue May 14 18:19:08 2013 -0400
@@ -14,7 +14,7 @@
                     </repository>
                 </action>
 
-                <action type="shell_command">cmake . -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR -DEIGEN2_INCLUDE_DIR=$EIGEN_SOURCE_PATH</action>
+                <action type="shell_command">cmake . -DCMAKE_INSTALL_PREFIX=$INSTALL_DIR -DEIGEN2_INCLUDE_DIR=$EIGEN2_SOURCE_PATH</action>
                 <action type="shell_command">make</action>
                 <action type="shell_command">make install</action>
                 <action type="set_environment">