diff --git a/.gitignore b/.gitignore index 17a3384a4..a6dc38d5b 100644 --- a/.gitignore +++ b/.gitignore @@ -61,8 +61,8 @@ tools/btor2/btor2i/build/ tools/profiler/data tools/profiler/meta-logs tools/profiler/fg-tmp -tools/profiler/handmade-flame-graphs/*/*.svg tools/profiler/inst-check-tmp +*.svg temp/