diff options
author | Kevin Ryde <user42@zip.com.au> | 2001-08-28 01:06:25 +0200 |
---|---|---|
committer | Kevin Ryde <user42@zip.com.au> | 2001-08-28 01:06:25 +0200 |
commit | 7d4d0752d9e47df8d8c1d164f2198161b9ca77cb (patch) | |
tree | ae8acff8cceffddf239c347a9b54d2cb0ae46f15 /tune | |
parent | 31cfed0ae132caf43576aa92ff6443739937ed1b (diff) | |
download | gmp-7d4d0752d9e47df8d8c1d164f2198161b9ca77cb.tar.gz |
* tune/many.pl, tune/Makefile.am: Fix some from clean and distclean.
Diffstat (limited to 'tune')
-rw-r--r-- | tune/Makefile.am | 8 | ||||
-rwxr-xr-x | tune/many.pl | 7 |
2 files changed, 9 insertions, 6 deletions
diff --git a/tune/Makefile.am b/tune/Makefile.am index 428922825..d16bd9c3b 100644 --- a/tune/Makefile.am +++ b/tune/Makefile.am @@ -87,15 +87,15 @@ tune: allprogs: $(EXTRA_PROGRAMS) - +# $(MANY_CLEAN) and $(MANY_DISTCLEAN) are hooks for many.pl CLEANFILES = $(EXTRA_PROGRAMS) $(EXTRA_LTLIBRARIES) \ $(TUNE_MPN_SRCS) sqr_asm.asm \ stg.gnuplot stg.data \ mtg.gnuplot mtg.data \ fibg.gnuplot fibg.data \ - graph.gnuplot graph.data - -DISTCLEANFILES = sqr_basecase.c + graph.gnuplot graph.data \ + $(MANY_CLEAN) +DISTCLEANFILES = sqr_basecase.c $(MANY_DISTCLEAN) # Generating these little files at build time seems better than including diff --git a/tune/many.pl b/tune/many.pl index 5fcb1a685..ec76e2a63 100755 --- a/tune/many.pl +++ b/tune/many.pl @@ -1176,8 +1176,11 @@ print "trydeps $trydeps\n" if $opt{'t'}; print MAKEFILE <<EOF; MANY_OBJS = $MANY_OBJS - -CLEAN = $CLEAN +MANY_CLEAN = \$(MANY_OBJS) \\ + speed-many.c speed-many\$U.o speed-many\$(EXEEXT) \\ + try-many.c try-many\$U.o try-many \\ + $CLEAN +MANY_DISTCLEAN = Makefile.many speed-many: \$(MANY_OBJS) speed-many\$U.o libspeed.la $extra_libraries \$(LINK) \$(LDFLAGS) speed-many\$U.o \$(MANY_OBJS) \$(LDADD) \$(LIBS) $extra_libraries |