From 6199ac1b23f3c1663d0b6e2793c599361a4e08db Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 29 Aug 2002 09:28:09 +0000
Subject: Updated.

---
 Makefile.devel | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

(limited to 'Makefile.devel')

diff --git a/Makefile.devel b/Makefile.devel
index 2d3c03e5..068b3f45 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -314,7 +314,7 @@ tag:
 	@echo " Tagging sources... (rerun if CVS source dirty)"
 	@echo "*************************************************"
 # Update the sources, this is almost always what we want to do.
-	if [ -z "$(NOCVS)" ] && [ -n "`cvs -P -n -q update`" ]; then cvs update -Pd; exit 1; fi
+	if [ -z "$(NOCVS)" ] && [ -n "`cvs -n -q update -P`" ]; then cvs update -Pd; exit 1; fi
 # Tag proof-site.el and ProofGeneral.spec
 	(cd generic; mv $(VERSIONFILE) $(VERSIONFILE).old; sed -e 's/defconst $(VERSIONVARIABLE) \".*\"/defconst $(VERSIONVARIABLE) \"Proof General Version $(FULLVERSION). Released by da$(DATEMSG).\"/g' $(VERSIONFILE).old > $(VERSIONFILE); rm $(VERSIONFILE).old)
 	(cd etc; mv ProofGeneral.spec ProofGeneral.spec.old; sed -e 's/Version:.*$$/Version:	$(VERSION)/g' ProofGeneral.spec.old > ProofGeneral.spec; rm ProofGeneral.spec.old)
@@ -550,3 +550,11 @@ links:
 	ln -sf ../html/ProofGeneralPortrait.eps.gz doc
 	ln -sf ../../ProofGeneral html
 
+#################################################################
+##
+## Reporting Makefile settings.  
+##
+## Useful for debugging Makefile 
+
+show.%:
+	echo $($*)
-- 
cgit v1.2.3