# HG changeset patch
# User iuc
# Date 1417810819 18000
# Node ID 21948fda4f4b3df425573d5b9946a0d0690817a5
# Parent  1c371ea3413a1db5a7c74fe58dcd3cb9c4d4cfcc
Uploaded

diff -r 1c371ea3413a -r 21948fda4f4b tool_dependencies.xml
--- a/tool_dependencies.xml	Fri Dec 05 15:17:34 2014 -0500
+++ b/tool_dependencies.xml	Fri Dec 05 15:20:19 2014 -0500
@@ -4,10 +4,7 @@
         <install version="1.0">
             <actions> 
                 <action type="download_file">http://downloads.sourceforge.net/project/weka/weka-3-7/3.7.11/weka-monolithic.jar</action>
-                <action type="move_file">
-                    <source>weka-monolithic.jar</source>
-                    <destination>$INSTALL_DIR/weka.jar</destination>
-                </action>
+                <action type="shell_command">mv weka-monolithic.jar $INSTALL_DIR/weka.jar</action>
                 <action type="set_environment">
                     <environment_variable name="WEKA_JAR_PATH" action="set_to">$INSTALL_DIR</environment_variable>
                 </action>