Run uninstall-extra at the end of uninstall

FossilOrigin-Name: 5e8ce843371969302c74854e958aa405ab2e63ffec51f51b9465e426f77d4f45
This commit is contained in:
Jonathan Schleifer 2023-02-11 23:21:34 +00:00
parent 5dbb4e0f2c
commit 122e121d6a

View file

@ -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: