don't commit binaries

diff --git a/.gitignore b/.gitignore
index 198bcaa..c054e5b 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -189,6 +189,7 @@ examples/msg/trace-process-migration/trace-process-migration
 examples/msg/trace-platform/trace-platform
 examples/msg/trace-host-user-variables/trace-host-user-variables
 examples/s4u/app-masterworker/s4u_app-masterworker
+examples/s4u/app-pingpong/s4u_app-pingpong
 examples/s4u/app-token-ring/s4u_app-token-ring
 examples/s4u/actions-comm/s4u_actions-comm
 examples/s4u/actions-storage/s4u_actions-storage

diff --git a/examples/s4u/app-pingpong/s4u_app-pingpong b/examples/s4u/app-pingpong/s4u_app-pingpong
deleted file mode 100755 (executable)
index bd61f7b..0000000
Binary files a/examples/s4u/app-pingpong/s4u_app-pingpong and /dev/null differ