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">
-
+