diff --git a/build.xml b/build.xml index 164643f96..9ce3dfca3 100644 --- a/build.xml +++ b/build.xml @@ -807,6 +807,7 @@ FORREST_HOME environment variable! + @@ -825,6 +826,7 @@ FORREST_HOME environment variable! +