OK, direct the annoying traces to the output folder

Otherwise it was getting messy to distinguish between trace-events
and trace-<pid> in the .gitignore.

Now only the latest trace will be kept, with a fixed name.
This commit is contained in:
Ciro Santilli
2018-03-28 23:06:45 +01:00
parent f74e001789
commit 01a84e7f79
5 changed files with 64 additions and 55 deletions

1
.gitignore vendored
View File

@@ -9,7 +9,6 @@ gitignore*
# Specific files.
/9p
/README.html
/trace-[0-9]*
# GEM5
/m5out