# HG changeset patch # User bgruening # Date 1384517025 18000 # Node ID 31f1e69aae89769b8aec00016e7bb46646037857 # Parent a7636aa0a747952fedd45bd72da5124dba6099b0 Uploaded diff -r a7636aa0a747 -r 31f1e69aae89 tool_dependencies.xml --- a/tool_dependencies.xml Fri Nov 15 06:31:08 2013 -0500 +++ b/tool_dependencies.xml Fri Nov 15 07:03:45 2013 -0500 @@ -9,6 +9,7 @@ $INSTALL_DIR/lib $INSTALL_DIR $INSTALL_DIR/include + $INSTALL_DIR/include