update script

[c11concurrency-benchmarks.git] / cdschecker_modified_benchmarks / test_all.sh

diff --git a/cdschecker_modified_benchmarks/test_all.sh b/cdschecker_modified_benchmarks/test_all.sh
index a7200ebe3d25bbe3613d33b810d865f9bf5ffedb..a22d70ed4f425a0253ec7481056a370988bf2b60 100755 (executable)
--- a/cdschecker_modified_benchmarks/test_all.sh
+++ b/cdschecker_modified_benchmarks/test_all.sh
@@ -4,6 +4,7 @@ set -u
 
 # Paul: skip `spsc-queue` as it deadlocks.
 
+echo "** Test CDSChecker data structure benchmarks **"
 for t in barrier chase-lev-deque dekker-fences linuxrwlocks mcs-lock mpmc-queue ms-queue; do
   cd $t
   echo -n "$t "