Index: /tools/check-batch-cmd
===================================================================
--- /tools/check-batch-cmd	(revision 10087)
+++ /tools/check-batch-cmd	(revision 10088)
@@ -79,2 +79,3 @@
 
 
+