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

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

diff --git a/tests/runpaul-phase5.sh b/tests/runpaul-phase5.sh
deleted file mode 100644 (file)
index bb4bfe7..0000000
--- a/tests/runpaul-phase5.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-# test run after write-size update
-
-sh runpaul-phase1.sh
-mkdir runpaul-phase1
-mv *.log runpaul-phase1/
-
-sh runpaul-phase2.sh
-mkdir runpaul-phase2
-mv *.log runpaul-phase2/
-
-sh runpaul-phase4.sh