changeset 1:068cee36394d draft

Uploaded
author simon-gladman
date Thu, 18 Jul 2013 00:22:08 -0400
parents b38f6a7d6ca5
children e0c8eebef935
files tool_dependencies.xml
diffstat 1 files changed, 2 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- a/tool_dependencies.xml	Tue Jul 16 01:27:23 2013 -0400
+++ b/tool_dependencies.xml	Thu Jul 18 00:22:08 2013 -0400
@@ -4,6 +4,8 @@
         <install version="1.0">
             <actions>
                 <action type="shell_command">git clone git://github.com/dzerbino/velvet.git</action>
+                <action type="shell_command">cd velvet</action>
+                <action type="shell_command">git reset --hard 0c3315af5621630a4afee4ba6d286c910076a6d3</action>
                 <action type="shell_command">make -i CATEGORIES=4 MAXKMERLENGTH=191 OPENMP=1</action>
                 <action type="move_file">
                     <source>velvetg</source>