From 43eada8dc03dbbedfe9718dc7d79715624357908 Mon Sep 17 00:00:00 2001
From: Robert Hartung <hartung@ibr.cs.tu-bs.de>
Date: Wed, 28 Jun 2017 11:26:30 +0200
Subject: [PATCH] gitlab ci: PORT test #4

---
 .gitlab-ci.yml | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 25e326497507..88adf979eda8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -10,7 +10,16 @@ cli:
     - python3 -m serial.tools.list_ports -v
     - export PORT=`python3 -m serial.tools.list_ports -v 2>/dev/null | grep -B 2 'A502C3XN' | head -n 1`
     - echo $PORT
-    - cd examples/hello-world/ && make PORT=${PORT} BOARD=inga-red flash
+    - cd examples/hello-world/
+    - make PORT=${PORT} BOARD=inga-red flash
+    - make PORT=${PORT} BOARD=inga-red term &
+    - PID=$!
+    - ./dist/tools/inga_tool/inga_tool -r -d $(PORT)
+    - sleep 5; kill -9 $PID
     - cd -
     - cd tests/unittests/
     - make PORT=${PORT} BOARD=inga-red tests-core flash
+    - make PORT=${PORT} BOARD=inga-red term &
+    - PID=$!
+    - ./dist/tools/inga_tool/inga_tool -r -d $(PORT)
+    - sleep 5; kill -9 $PID