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