[rtems-central commit] Ignore generated Python files

[Sebastian Huber]

Module:    rtems-central
Branch:    master
Commit:    74bcb67714a15278c2bd7651cc7e92578fbf52ea
Changeset: http://git.rtems.org/rtems-central/commit/?id=74bcb67714a15278c2bd7651cc7e92578fbf52ea

Author:    Andrew Butterfield <andrew.butterfield at scss.tcd.ie>
Date:      Fri Aug  4 17:11:28 2023 +0100

Ignore generated Python files

---

 .gitignore | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/.gitignore b/.gitignore
index b4bd5187..1a68eecd 100644
--- a/.gitignore
+++ b/.gitignore
@@ -3,3 +3,16 @@ env
 .mypy_cache
 __pycache__
 spec.pickle
+formal/promela/src/src/library.py
+formal/promela/src/src/refine_command.py
+formal/promela/src/src/spin2test.py
+formal/promela/src/src/syntax_ml.py
+formal/promela/src/src/syntax_pml.py
+formal/promela/src/src/syntax_yaml.py
+formal/promela/src/src/testgen.py
+formal/promela/src/testgen_ml.py
+formal/promela/src/testgen_yaml.py
+formal/promela/src/src/tests/library.py
+formal/promela/src/src/tests/test_coverage_spin2test.py
+formal/promela/src/src/tests/test_coverage_testgen.py
+formal/promela/src/src/tests/test_optional.py