From 5f0dd15f1ed1431d3678ccacccabea11e3db21b2 Mon Sep 17 00:00:00 2001
From: Rehan MALAK <rehan.malak@inria.fr>
Date: Wed, 25 Apr 2018 14:22:23 +0200
Subject: [PATCH] node killed at the end of 08-native-runs tests

pgrep pattern shoud be smaller than 15 characters
---
 tests/08-native-runs/01-test-data-structures.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tests/08-native-runs/01-test-data-structures.sh b/tests/08-native-runs/01-test-data-structures.sh
index 790235638..4885a4c8f 100755
--- a/tests/08-native-runs/01-test-data-structures.sh
+++ b/tests/08-native-runs/01-test-data-structures.sh
@@ -16,7 +16,7 @@ sleep 2
 
 echo "Closing native node"
 sleep 2
-pgrep $CODE | xargs kill -9
+pgrep ${CODE:0:15} | xargs kill -9
 
 if grep -q "=check-me= FAILED" $CODE.log ; then
   echo "==== make.log ====" ; cat make.log;