# HG changeset patch # User jeremie # Date 1403793804 14400 # Node ID dc22a4b50fa7e5952a777edb2a27c58303936862 # Parent f732b9eebb6d892a27dc1ac44560ec27a7f70e30 Uploaded diff -r f732b9eebb6d -r dc22a4b50fa7 tool_dependencies.xml --- a/tool_dependencies.xml Thu Jun 26 10:40:54 2014 -0400 +++ b/tool_dependencies.xml Thu Jun 26 10:43:24 2014 -0400 @@ -6,7 +6,9 @@ ls pwd - echo $REPOSITORY_INSTALL_DIR + echo $INSTALL_DIR + echo $tool_shed_repository_install_dir + $REPOSITORY_INSTALL_DIR