# HG changeset patch # User bgruening # Date 1379342095 14400 # Node ID 2acabbd57c78ede7d7a5d4cfb4202be0f5cfbaf7 # Parent b936498ae90c51d94b740d2824023bf6bd09e7af Uploaded diff -r b936498ae90c -r 2acabbd57c78 tool_dependencies.xml --- a/tool_dependencies.xml Mon Jul 01 06:22:21 2013 -0400 +++ b/tool_dependencies.xml Mon Sep 16 10:34:55 2013 -0400 @@ -4,7 +4,7 @@ ftp://ftp.gnu.org/gnu/readline/readline-6.2.tar.gz $INSTALL_DIR - ./configure --prefix=$INSTALL_DIR && make && make install + $INSTALL_DIR/include $INSTALL_DIR/lib