get rid of surf_init

[simgrid.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index d57fe08b2d7cd033a7ca4e3c50ec088b4c82dd05..83b2d1250a40a31daa9f63602c32b0fb103431b2 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -251,6 +251,11 @@ examples/smpi/mc/smpi_bugged1
 examples/smpi/mc/smpi_bugged1_liveness
 examples/smpi/mc/smpi_bugged2
 examples/smpi/mc/smpi_mutual_exclusion
+examples/smpi/mc/smpi_non_termination1
+examples/smpi/mc/smpi_non_termination2
+examples/smpi/mc/smpi_non_termination3
+examples/smpi/mc/smpi_non_termination4
+examples/smpi/mc/smpi_only_send_deterministic
 examples/smpi/mc/smpi_sendsend
 examples/smpi/NAS/dt
 examples/smpi/NAS/ep
@@ -334,6 +339,7 @@ teshsuite/smpi/io-ordered/io-ordered
 teshsuite/smpi/io-shared/io-shared
 teshsuite/smpi/io-simple-at/io-simple-at
 teshsuite/smpi/io-simple/io-simple
+teshsuite/smpi/isp/umpire/**/*.tesh
 teshsuite/smpi/isp/umpire/abort
 teshsuite/smpi/isp/umpire/abort1
 teshsuite/smpi/isp/umpire/abort2