diff options
| author | Alessandro Gatti <a.gatti@frob.it> | 2024-09-22 15:35:59 +0200 |
|---|---|---|
| committer | Damien George <damien@micropython.org> | 2024-09-23 11:47:18 +1000 |
| commit | f1b88e0d597c8117167d4eacf8bdce6518f115c3 (patch) | |
| tree | 2a0f4ae806e206321dc8994149b467191be0491d /tools/metrics.py | |
| parent | 8f465dfd10f8186873be0c38e226bcf380be16ba (diff) | |
gitignore: Add ffi_lib.so to the gitignore list.
When testing the Unix port with FFI tests enabled, the FFI helper
library that's built as part of the testing process is not removed after
the tests session end.
This commit adds the built library to the gitignore list, so it doesn't
mark the sourcetree as dirty if a test run for the Unix port was started
in the past.
Signed-off-by: Alessandro Gatti <a.gatti@frob.it>
Diffstat (limited to 'tools/metrics.py')
0 files changed, 0 insertions, 0 deletions