1From 54c670ada541aa61ab9ab7907ab245718137efb8 Mon Sep 17 00:00:00 2001 2From: huangyu <huangyu106@huawei.com> 3Date: Sat, 26 Nov 2022 18:08:31 +0800 4Subject: [PATCH] enable makecheck in extensions 5 6Signed-off-by: huangyu <huangyu106@huawei.com> 7--- 8 extensions/GNUmakefile.in | 4 +++- 9 1 file changed, 3 insertions(+), 1 deletion(-) 10 11diff --git a/extensions/GNUmakefile.in b/extensions/GNUmakefile.in 12index 956ccb3..70515c4 100644 13--- a/extensions/GNUmakefile.in 14+++ b/extensions/GNUmakefile.in 15@@ -79,7 +79,7 @@ targets_install := 16 17 .SECONDARY: 18 19-.PHONY: all install uninstall clean distclean FORCE 20+.PHONY: all install uninstall check clean distclean FORCE 21 22 all: ${targets} 23 24@@ -105,6 +105,8 @@ uninstall: 25 rmdir -p --ignore-fail-on-non-empty "$$dir"; \ 26 } 27 28+check: 29+ 30 clean: 31 rm -f *.o *.oo *.so *.a {matches,targets}.man initext.c initext4.c initext6.c initextb.c initexta.c; 32 rm -f .*.d .*.dd; 33-- 342.23.0 35 36