X-Git-Url: http://git.liburcu.org/?p=urcu.git;a=blobdiff_plain;f=formal-model%2Fresults%2Furcu-controldataflow-no-ipi%2Ftodo.sh;fp=formal-model%2Fresults%2Furcu-controldataflow-no-ipi%2Ftodo.sh;h=0000000000000000000000000000000000000000;hp=f2bcdf6709db2d526cce5024c3a2ca5ea43f3892;hb=8322221dc666e720badeb06bc780a1f8e69020a0;hpb=1d268896f82b053d886a4242433f3c2abcb5a203

diff --git a/formal-model/results/urcu-controldataflow-no-ipi/todo.sh b/formal-model/results/urcu-controldataflow-no-ipi/todo.sh
deleted file mode 100644
index f2bcdf6..0000000
--- a/formal-model/results/urcu-controldataflow-no-ipi/todo.sh
+++ /dev/null
@@ -1,18 +0,0 @@
-echo testing no ipi
-make urcu_free | tee urcu_free.log
-echo testing no ipi
-make urcu_free_no_mb | tee urcu_free_no_mb.log
-echo testing no ipi
-make urcu_free_no_rmb | tee urcu_free_no_rmb.log
-echo testing no ipi
-make urcu_free_no_wmb | tee urcu_free_no_wmb.log
-echo testing no ipi
-make urcu_free_single_flip | tee urcu_free_single_flip.log
-echo testing no ipi
-make urcu_progress_writer | tee urcu_progress_writer.log
-echo testing no ipi
-make urcu_progress_reader | tee urcu_progress_reader.log
-echo testing no ipi
-make urcu_progress_writer_error | tee urcu_progress_writer_error.log
-echo testing no ipi
-make asserts | tee asserts.log