Don't ignore full directory contents.

diff --git a/.gitignore b/.gitignore
index 99e7567..11a7c31 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -245,7 +245,7 @@ examples/msg/pmm/msg_pmm
 examples/smpi/toto.txt
 examples/smpi/MM/MM_mpi
 examples/smpi/smpi_replay
-examples/smpi/replay
+examples/smpi/replay/one_trace
 examples/smpi/bcbench
 examples/smpi/first
 examples/smpi/mvmul