empire/empserver
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

(install): Be a bit more verbose about the update of econfig.

Browse source 
(uninstall): Point to the unremoved configuration directory, not just
to econfig.
This commit is contained in:
Markus Armbruster 2007-11-16 19:23:30 +00:00
parent 0649fbbb25
commit f757843ca5
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
Make.mk
View file

@ -185,8 +185,10 @@ install: all installdirs
echo 'every 10 minutes' >>$(schedule).dist
[ -e $(schedule) ] || mv $(schedule).dist $(schedule)
if [ -e $(econfig) ]; then \
echo "Attempting to update your econfig"; \
if src/util/pconfig $(econfig) >$(econfig).dist; then \
if cmp -s $(econfig) $(econfig).dist; then \
echo "$(econfig) unchanged"; \
rm $(econfig).dist; \
fi; \
else \
@ -215,8 +217,7 @@ uninstall:
rm -f $(addprefix $(bindir)/, $(notdir $(client)))
rm -rf $(builtindir) $(einfodir)
rm -f $(addprefix $(mandir)/man6/, $(notdir $(man6)))
@[ -e $(gamedir) ] && echo "$(gamedir) not removed, you may wish to remove it manually."
@[ -e $(econfig) ] && echo "$(econfig) not removed, you may wish to remove it manually."
@echo "$(dir $(econfig)) and $(gamedir) not removed, you may wish to remove it manually."
.PHONY: dist
dist: dist-source dist-client dist-info