diff --git a/Makefile b/Makefile index 9f59598d3a08..3a265e7e3347 100644 --- a/Makefile +++ b/Makefile @@ -2164,6 +2164,7 @@ clean: $(clean-dirs) -o -name '*.c.[012]*.*' \ -o -name '*.ll' \ -o -name '*.gcno' \ + -o -name '*.long-type-*.txt' \ \) -type f -print \ -o -name '.tmp_*' -print \ | xargs rm -rf