diff options
| -rw-r--r-- | kernel/Makefile.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/Makefile.in b/kernel/Makefile.in index ee5a617..be8c133 100644 --- a/kernel/Makefile.in +++ b/kernel/Makefile.in @@ -70,6 +70,6 @@ maintainer-clean: clean rm -f Makefile clean: - rm -f *.o *.var + rm -f *.o *.ver .PHONY: all clean maintainer-clean mostlyclean distclean distdir install |