Index: scripts/check_ok.bat
===================================================================
--- scripts/check_ok.bat	(revision f0607c4aa89805b81a8fdfb739882e8714a9e22b)
+++ scripts/check_ok.bat	(revision f0607c4aa89805b81a8fdfb739882e8714a9e22b)
@@ -0,0 +1,2 @@
+@echo OK: Everything is going to be fine a
+@exit 0