Merge branch 'master' of git+ssh://scm.gforge.inria.fr//gitroot/simgrid/simgrid

[simgrid.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index 47e4494..0bd61c5 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -180,18 +180,16 @@ examples/msg/ns3/ns3
 examples/msg/parallel_contexts/pcontexts
 examples/msg/parallel_contexts/pcontexts2
 examples/msg/parallel_task/parallel_task
-examples/msg/parallel_task/test_ptask
 examples/msg/pastry/pastry
-examples/msg/pmm/msg_pmm
+examples/msg/pmm/pmm
 examples/msg/priority/priority
 examples/msg/procmig.trace
-examples/msg/properties/msg_prop
-examples/msg/semaphores/synchro
+examples/msg/properties/properties
+examples/msg/synchro/synchro
 examples/msg/sendrecv/sendrecv
-examples/msg/sendrecv/sendrecv_main
 examples/msg/set-maestro/set-maestro
 examples/msg/simulation.trace
-examples/msg/start_kill_time/sk_time
+examples/msg/start_kill_time/start_kill_time
 examples/msg/suspend/suspend
 examples/msg/tasks.trace
 examples/msg/token_ring/token_ring