diff options
| -rw-r--r-- | Makefile.in | 2 | 
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in index 9d72e8db8..f8c082bbe 100644 --- a/Makefile.in +++ b/Makefile.in @@ -298,7 +298,7 @@ defconfig: extra/config/conf  clean:  	@$(RM) -r lib include/bits  	$(RM) lib*/*.a ldso/*/*.a libpthread/*/*.a -	$(RM) include/fpu_control.h include/dl-osinfo.h +	$(RM) include/fpu_control.h include/dl-osinfo.h include/hp-timing.h  	$(MAKE) -C extra/locale locale_clean  	$(MAKE) headers_clean-y  	$(MAKE) -C test clean  | 
