#!/bin/sh
-#for a in test_urcu_gc test_urcu_gc_mb test_qsbr_gc; do
+#for a in test_urcu_gc test_urcu_gc_mb test_urcu_qsbr_gc; do
for a in test_urcu_gc; do
echo "./${a} $*" | tee -a runall.detail.log
/usr/bin/time --append --output runall.detail.log ./${a} $*