ignore some generated cruft

diff --git a/examples/smpi/mc/.gitignore b/examples/smpi/mc/.gitignore
new file mode 100644 (file)
index 0000000..daf627a
--- /dev/null
+++ b/examples/smpi/mc/.gitignore
@@ -0,0 +1,5 @@
+smpi_non_termination1
+smpi_non_termination2
+smpi_non_termination3
+smpi_non_termination4
+smpi_only_send_deterministic