# HG changeset patch # User jeremie # Date 1403794342 14400 # Node ID 2ea8ed21eadd38ea312f8d7a18b8cf0df3daf054 # Parent dc22a4b50fa7e5952a777edb2a27c58303936862 Uploaded diff -r dc22a4b50fa7 -r 2ea8ed21eadd tool_dependencies.xml --- a/tool_dependencies.xml Thu Jun 26 10:43:24 2014 -0400 +++ b/tool_dependencies.xml Thu Jun 26 10:52:22 2014 -0400 @@ -4,6 +4,9 @@ + + env + echo env ls pwd echo $INSTALL_DIR