1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-28 22:49:47 +01:00

examples,tests: ignore core dumps via .gitignore

This will ignore files named `core` and `core.*` (except `core.c`,
`core.h`, `core.md`, `core.txt`) placed directly in the application
folder. This is where `make` is typically called and core dump due to
a crashing native application, flashing tool, or GDB would be placed.
The pattern is intentionally quite narrow, as there is e.g. a core
source folder that should still be monitored.
This commit is contained in:
Marian Buschsieweke 2022-08-31 13:17:20 +02:00
parent f59e1c63e9
commit 089d8aba43
No known key found for this signature in database
GPG Key ID: CB8E3238CE715A94
2 changed files with 12 additions and 0 deletions

6
examples/.gitignore vendored Normal file
View File

@ -0,0 +1,6 @@
/*/core
/*/core.*
!/*/core.c
!/*/core.h
!/*/core.md
!/*/core.txt

6
tests/.gitignore vendored Normal file
View File

@ -0,0 +1,6 @@
/*/core
/*/core.*
!/*/core.c
!/*/core.h
!/*/core.md
!/*/core.txt