From f0740fe8adff6bab31148157c692e07c68c50ce5 Mon Sep 17 00:00:00 2001
From: David Gageot <david@gageot.net>
Date: Wed, 18 Nov 2015 16:27:13 +0100
Subject: [PATCH] FIX #2190 no need killing docker-machine processes

Signed-off-by: David Gageot <david@gageot.net>
---
 test/integration/run-bats.sh | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/test/integration/run-bats.sh b/test/integration/run-bats.sh
index 14a9d59200..b50b97b986 100755
--- a/test/integration/run-bats.sh
+++ b/test/integration/run-bats.sh
@@ -85,11 +85,4 @@ if [[ -d "$MACHINE_STORAGE_PATH" ]]; then
     rm -r "$MACHINE_STORAGE_PATH"
 fi
 
-set +e
-pkill docker-machine
-if [[ $? -eq 0 ]]; then
-    EXIT_STATUS=1
-fi
-set -e
-
 exit ${EXIT_STATUS}