Overview
| Comment: | Run uninstall-extra at the end of uninstall |
|---|---|
| Downloads: | Tarball | ZIP archive | SQL archive |
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
5e8ce843371969302c74854e958aa405 |
| User & Date: | js on 2023-02-11 23:21:34 |
| Other Links: | manifest | tags |
Context
|
2023-07-15
| ||
| 21:08 | Update copyright on a missed file check-in: cf904a372d user: js tags: trunk | |
|
2023-02-11
| ||
| 23:21 | Run uninstall-extra at the end of uninstall check-in: 5e8ce84337 user: js tags: trunk | |
|
2023-01-06
| ||
| 08:59 | Add explicit BUILDSYS_PLUGIN check-in: edfc59226e user: js tags: trunk | |
Changes
Modified buildsys.mk.in from [e067a2f2b2] to [b42288d277].
| ︙ | |||
759 760 761 762 763 764 765 | 759 760 761 762 763 764 765 766 767 768 769 770 771 772 773 | - + |
else \
${INSTALL_FAILED}; \
fi \
done
install-extra:
|
| ︙ | |||
871 872 873 874 875 876 877 878 879 880 881 882 883 884 | 871 872 873 874 875 876 877 878 879 880 881 882 883 884 885 886 | + + |
if rm -f ${DESTDIR}${mandir}/${mansubdir}/$$i; then \
${DELETE_OK}; \
else \
${DELETE_FAILED}; \
fi \
fi \
done
${MAKE} -s uninstall-extra
uninstall-extra:
clean:
for i in "" ${SUBDIRS} ${SUBDIRS_AFTER}; do \
test x"$$i" = x"" && continue; \
${DIR_ENTER}; \
|
| ︙ |