Merge branch 'master' into urcu/rcuja-range-merge

[userspace-rcu.git] / tests / runpaul-phase6.sh

diff --git a/tests/runpaul-phase6.sh b/tests/runpaul-phase6.sh
deleted file mode 100644 (file)
index 5f65072..0000000
--- a/tests/runpaul-phase6.sh
+++ /dev/null
@@ -1,7 +0,0 @@
-sh runpaul-phase1.sh
-mkdir runpaul-phase1
-mv *.log runpaul-phase1/
-
-sh runpaul-phase2.sh
-mkdir runpaul-phase2
-mv *.log runpaul-phase2/