zsh-workers
 help / color / mirror / code / Atom feed
* PATCH: make distclean
@ 1999-06-29  7:03 Sven Wischnowsky
  1999-06-29 16:54 ` Peter Stephenson
  0 siblings, 1 reply; 2+ messages in thread
From: Sven Wischnowsky @ 1999-06-29  7:03 UTC (permalink / raw)
  To: zsh-workers


Am I the only one, or can't you get it to work either? When I try
`make distclean' make complains about `@make' being unknown -- there
seems to be a misplaced `@'. And when I try `./configure; make distclean' 
it doesn't work because in the Src directory this need the file
modules.index but it doesn't have a dependency for it.

Am I missing something?

Bye
 Sven

--- Src/Makefile.in.old	Mon Jun 28 22:39:41 1999
+++ Src/Makefile.in	Mon Jun 28 22:40:05 1999
@@ -206,9 +206,9 @@
 realclean: realclean-modules
 
 # Don't remake Makemod just to delete things, even if it doesn't exist.
-mostlyclean-modules clean-modules distclean-modules realclean-modules:
+mostlyclean-modules clean-modules distclean-modules realclean-modules: modules.index
 	if test -f Makemod; then \
-	  @$(MAKE) -f Makemod $(MAKEDEFS) `echo $@ | sed 's/-modules//'`; \
+	  $(MAKE) -f Makemod $(MAKEDEFS) `echo $@ | sed 's/-modules//'`; \
 	fi; \
 	exit 0
 

--
Sven Wischnowsky                         wischnow@informatik.hu-berlin.de


^ permalink raw reply	[flat|nested] 2+ messages in thread

* Re: PATCH: make distclean
  1999-06-29  7:03 PATCH: make distclean Sven Wischnowsky
@ 1999-06-29 16:54 ` Peter Stephenson
  0 siblings, 0 replies; 2+ messages in thread
From: Peter Stephenson @ 1999-06-29 16:54 UTC (permalink / raw)
  To: zsh-workers

Sven Wischnowsky wrote:
> Am I the only one, or can't you get it to work either? When I try
> `make distclean' make complains about `@make' being unknown -- there
> seems to be a misplaced `@'. And when I try `./configure; make distclean' 
> it doesn't work because in the Src directory this need the file
> modules.index but it doesn't have a dependency for it.

I'd just discovered this, too, but there is a further problem with `make
clean' (didn't try make distclean), in that there's a dependency in Makemod
to remake it every times it's used (or at least that's what GNU make does
when it sees the effect of

Makemod: Makemod.in

inside Makemod).  Hence make clean always tries to make Makemod even when
it's only used via `make -f Makemod' and doesn't appear as a dependency in
Makefile.  I thought maybe the solution was to remove Makemod and
Makemod.in after `make clean', since they get made by make rather than
configure.  But maybe there's a better way.

-- 
Peter Stephenson <pws@ibmth.df.unipi.it>       Tel: +39 050 844536
WWW:  http://www.ifh.de/~pws/
Dipartimento di Fisica, Via Buonarroti 2, 56127 Pisa, Italy


^ permalink raw reply	[flat|nested] 2+ messages in thread

end of thread, other threads:[~1999-06-29 17:23 UTC | newest]

Thread overview: 2+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
1999-06-29  7:03 PATCH: make distclean Sven Wischnowsky
1999-06-29 16:54 ` Peter Stephenson

Code repositories for project(s) associated with this public inbox

	https://git.vuxu.org/mirror/zsh/

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).