From f757843ca5c96734ae5d8e142256eca46bf85c30 Mon Sep 17 00:00:00 2001 From: Markus Armbruster Date: Fri, 16 Nov 2007 19:23:30 +0000 Subject: [PATCH] (install): Be a bit more verbose about the update of econfig. (uninstall): Point to the unremoved configuration directory, not just to econfig. --- Make.mk | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/Make.mk b/Make.mk index d24451894..4fa33b42f 100644 --- a/Make.mk +++ b/Make.mk @@ -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 -- 2.43.0