1 files changed, 0 insertions, 25 deletions
diff --git a/test/scripts/run_with_cleanup.sh b/test/scripts/run_with_cleanup.sh
deleted file mode 100755
index dcaa58b4498..00000000000
--- a/test/scripts/run_with_cleanup.sh
+++ /dev/null
@@ -1,25 +0,0 @@
-#!/bin/bash
-
-rv=0
-
-atexit() {
-	group_id=`ps -p $$ -o pgid=`
-	my_id=$$
-	ids=`pgrep -g $group_id -d ' ' | sed "s/\b$my_id\b//g"`
-	echo "Killing possible remaining process IDs: $ids"
-	for id in $ids
-	do
-		if ps -p $id > /dev/null
-		then
-			kill -9 $id
-		fi
-	done
-	exit $rv
-}
-
-trap "atexit" SIGINT SIGTERM
-
-$*
-rv=$?
-atexit
-exit $rv