changeset 1:cbe9f1c8c98b draft

Uploaded
author bgruening
date Mon, 16 Sep 2013 10:37:00 -0400
parents 196065d1785d
children 440a5170003f
files tool_dependencies.xml
diffstat 1 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- 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>