Added run-batch script adjusted for Windows

Change-Id: Ie33a563a1c15f476d97ce09035c14ac75990e5ca

diff --git a/src/batch/run-batch.bat b/src/batch/run-batch.bat
new file mode 100644 (file)
index 0000000..0419f6b
--- /dev/null
+++ b/src/batch/run-batch.bat
@@ -0,0 +1,28 @@
+@echo off\r
+\r
+set SCRIPT=%0\r
+set BATCH_FILE=%1\r
+set REPEAT=%2\r
+set DEBUG=%3\r
+\r
+set SCRIPT_DIRNAME=%~dp0\r
+set BATCH_DIRNAME=%~dp1\r
+set BATCH_FILE_NAME=%~n1\r
+\r
+set TMP=/opt/usr/home/owner/media/Documents/\r
+\r
+sdb root on\r
+sdb shell mount -o remount,rw /\r
+\r
+sdb push %BATCH_FILE% %TMP%\r
+sdb push %SCRIPT_DIRNAME%batch_exec.sh %TMP%\r
+\r
+:: Execute test.\r
+sdb shell "cd %TMP%; /bin/bash batch_exec.sh %BATCH_FILE_NAME%.rdl %REPEAT% %DEBUG% ; echo done"\r
+\r
+:: This was previously done with the use of project-tool.\r
+sdb root on\r
+sdb shell "journalctl --vacuum-size=1K"\r
+\r
+:: Removing batch_exec and test files.\r
+sdb shell "cd %TMP%; rm *.rdl; rm batch_exec.sh;"\r