diff -r f954d3f4d192 -r 740b1133f1b6 make/build.xml --- a/make/build.xml Thu Sep 19 13:34:01 2013 +0530 +++ b/make/build.xml Thu Sep 19 15:39:01 2013 +0200 @@ -66,6 +66,8 @@ + + @@ -320,7 +322,7 @@ - + @@ -336,7 +338,7 @@ - + @@ -352,7 +354,7 @@ - + @@ -369,7 +371,7 @@ - + @@ -387,7 +389,7 @@ description="Run the shell with a sample script"> - + @@ -397,7 +399,7 @@ description="Debug the shell with a sample script"> - +