test_urcu test_urcu_signal test_urcu_mb test_urcu_qsbr \
test_rwlock test_perthreadlock test_mutex; do
echo "./${a} $*" | tee -a runall.detail.log
- /usr/bin/time --append --output runall.detail.log ./${a} $*
+ /usr/bin/time -a -o runall.detail.log ./${a} $*
done