# 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