diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile b/Makefile index fdfc6d7ca8..8152e59c5f 100644 --- a/Makefile +++ b/Makefile @@ -308,5 +308,6 @@ headers2_0 := __math.h bytesex.h confname.h direntry.h elfclass.h \ sys/kernel_termios.h sys/msq_buf.h sys/sem_buf.h \ sys/shm_buf.h sys/socketcall.h +.PHONY: remove-old-headers remove-old-headers: rm -f $(addprefix $(inst_includedir)/, $(headers2_0)) |