# HG changeset patch # User bgruening # Date 1390517210 18000 # Node ID 246f31787ca1c25a0e67ea25e4f67a119bfc34c0 # Parent c3f0077ab3205676f0956a84c7654039a7c4d7c3 Uploaded diff -r c3f0077ab320 -r 246f31787ca1 tool_dependencies.xml --- a/tool_dependencies.xml Thu Jan 23 13:18:05 2014 -0500 +++ b/tool_dependencies.xml Thu Jan 23 17:46:50 2014 -0500 @@ -21,6 +21,8 @@ make install $INSTALL_DIR/include + $INSTALL_DIR/include + $INSTALL_DIR/include $INSTALL_DIR/lib $INSTALL_DIR/bin $INSTALL_DIR