diff --git a/build.xml b/build.xml index 7c33179d2..bed8d38e2 100644 --- a/build.xml +++ b/build.xml @@ -156,7 +156,8 @@ - + @@ -209,7 +210,7 @@ + description="Tests main, contrib and scratchpad"/> @@ -500,7 +501,7 @@ + description="Generates records"> @@ -521,7 +522,7 @@ + description="Generates types"> @@ -539,7 +540,7 @@ + description="Generates the documentation and reports"/>