From 504fd219095799ca29c119053b9c4608599a304b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Tam=C3=A1s=20B=C3=A1lint=20Misius?= Date: Wed, 8 Dec 2021 14:33:28 +0100 Subject: [PATCH] Ignore ignore/ How has this not been done on master yet? >_> Accidentally committed a valgrind suppression file because of this last commit. --- .gitignore | 1 + ignore/valgrind.supp | 10 ---------- 2 files changed, 1 insertion(+), 10 deletions(-) delete mode 100644 ignore/valgrind.supp diff --git a/.gitignore b/.gitignore index 43905b162..875974871 100644 --- a/.gitignore +++ b/.gitignore @@ -91,3 +91,4 @@ screenshot_* *.sdf /font/ compile_commands.json +ignore/ diff --git a/ignore/valgrind.supp b/ignore/valgrind.supp deleted file mode 100644 index 0440d7ba0..000000000 --- a/ignore/valgrind.supp +++ /dev/null @@ -1,10 +0,0 @@ -{ - luajit_str_fastcmp_uninit_cond - Memcheck:Cond - obj:/usr/lib/libluajit-5.1.so.2.0.5 -} -{ - fftw_crap_access - Memcheck:Addr16 - obj:/usr/lib/libfftw3f.so.3.6.10 -}