* 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).