ignore some of the recently added generated files

[simgrid.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 0d86ba8..3c0317e 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -176,6 +176,12 @@ examples/msg/mc/bugged1_for_liveness
 examples/msg/mc/bugged1_while_liveness
 examples/msg/mc/centralized_liveness_deadlock
 examples/msg/mc/test/test_heap_comparison
 examples/msg/mc/bugged1_while_liveness
 examples/msg/mc/centralized_liveness_deadlock
 examples/msg/mc/test/test_heap_comparison

+examples/msg/mc/chord_liveness
+examples/msg/mc/test/snapshot_comparison_liveness1
+examples/msg/mc/test/snapshot_comparison_liveness2
+examples/msg/mc/test/snapshot_comparison_liveness3
+examples/msg/mc/test/snapshot_comparison_liveness4
+examples/msg/mc/test/snapshot_comparison_liveness5

 examples/msg/chord/chord
 examples/msg/chord/chord_stateful
 examples/msg/chord/deployments
 examples/msg/chord/chord
 examples/msg/chord/chord_stateful
 examples/msg/chord/deployments