diff options
| -rw-r--r-- | .gitignore | 1 | ||||
| -rw-r--r-- | Makefile | 2 |
2 files changed, 1 insertions, 2 deletions
diff --git a/.gitignore b/.gitignore index 58fdbb35e2f1..c06a3ef6d6c6 100644 --- a/.gitignore +++ b/.gitignore @@ -46,7 +46,6 @@ *.so.dbg *.su *.symtypes -*.symversions *.tab.[ch] *.tar *.xz @@ -1946,7 +1946,7 @@ clean: $(clean-dirs) -o -name '*.c.[012]*.*' \ -o -name '*.ll' \ -o -name '*.gcno' \ - -o -name '*.*.symversions' \) -type f -print \ + \) -type f -print \ -o -name '.tmp_*' -print \ | xargs rm -rf |