# HG changeset patch
# User bgruening
# Date 1379342220 14400
# Node ID cbe9f1c8c98b8f41baaa20d2ae845bca32e0149d
# Parent  196065d1785de2f475b76bec49e7840df5069aec
Uploaded

diff -r 196065d1785d -r cbe9f1c8c98b tool_dependencies.xml
--- a/tool_dependencies.xml	Mon Aug 26 13:35:38 2013 -0400
+++ b/tool_dependencies.xml	Mon Sep 16 10:37:00 2013 -0400
@@ -5,8 +5,7 @@
             <actions>
             <action type="download_by_url">http://ftp.gnu.org/gnu/gawk/gawk-4.1.0.tar.gz</action>
             <action type="shell_command">./configure --prefix=$INSTALL_DIR</action>
-                <action type="shell_command">make</action>
-                <action type="shell_command">make install</action>
+                <action type="make_install" />
                 <action type="set_environment">
                     <environment_variable name="PATH" action="prepend_to">$INSTALL_DIR/bin</environment_variable>
                 </action>