From 6188f996152d3a8980190489f6806979f3fd5b98 Mon Sep 17 00:00:00 2001
From: jfiat <jfiat@eiffel.com>
Date: Fri, 8 Jul 2011 10:10:40 +0000
Subject: [PATCH] added run_autotest.bat scripts

---
 test/run_autotest.bat | 27 +++++++++++++++++++++++++++
 1 file changed, 27 insertions(+)
 create mode 100644 test/run_autotest.bat

diff --git a/test/run_autotest.bat b/test/run_autotest.bat
new file mode 100644
index 00000000..c1eb1eaf
--- /dev/null
+++ b/test/run_autotest.bat
@@ -0,0 +1,27 @@
+@echo off
+setlocal
+set TMP_EC_SCRIPT_FILENAME=%~dp0.tmp_ec_scripting
+
+cd %~dp0autotest\test_suite
+set TMP_EC_CMD=ec -config test_suite-safe.ecf -target test_suite -batch 
+
+echo # Fresh Compilation
+%TMP_EC_CMD% -batch -clean -freeze -c_compile -project_path . > %~dp0autotest.compile.log 2>&1
+
+rem Build scripting for freeze + testing
+rem ------------------------------------
+rem Testing
+echo T > %TMP_EC_SCRIPT_FILENAME%		
+rem Execute
+echo e >> %TMP_EC_SCRIPT_FILENAME%		
+rem Quit
+echo Q >> %TMP_EC_SCRIPT_FILENAME%		
+
+echo # Execute test_suite
+type %TMP_EC_SCRIPT_FILENAME% | %TMP_EC_CMD% -loop 1> :NULL 2> %~dp0autotest.testing.log
+type %~dp0autotest.testing.log
+
+cd %~dp0
+
+del %TMP_EC_SCRIPT_FILENAME%
+endlocal