From 122e121d6af53faa8b06a31420f363110a33009b Mon Sep 17 00:00:00 2001
From: Jonathan Schleifer <js@nil.im>
Date: Sat, 11 Feb 2023 23:21:34 +0000
Subject: [PATCH] Run uninstall-extra at the end of uninstall

FossilOrigin-Name: 5e8ce843371969302c74854e958aa405ab2e63ffec51f51b9465e426f77d4f45
---
 buildsys.mk.in | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/buildsys.mk.in b/buildsys.mk.in
index a433235..a514372 100644
--- a/buildsys.mk.in
+++ b/buildsys.mk.in
@@ -763,7 +763,7 @@ install: all install-extra
 
 install-extra:
 
-uninstall: uninstall-extra
+uninstall:
 	for i in "" ${SUBDIRS} ${SUBDIRS_AFTER}; do \
 		test x"$$i" = x"" && continue; \
 		${DIR_ENTER}; \
@@ -876,6 +876,8 @@ uninstall: uninstall-extra
 		fi \
 	done
 
+	${MAKE} -s uninstall-extra
+
 uninstall-extra:
 
 clean: