summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorvlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-09-14 13:03:24 +0000
committervlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4>2018-09-14 13:03:24 +0000
commit0506d11c3a8609b190d5ef859d5e9b46be37d360 (patch)
treeae0b8b5bcc68c9f58f869ec8caf618d4e82dfde9
parent6e1f5be8f399e811d1bdf5fd28be112717ab88d4 (diff)
downloadmpfr-0506d11c3a8609b190d5ef859d5e9b46be37d360.tar.gz
[src/Makefile.am] Moved a comment in a better place.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@13194 280ebfd0-de03-0410-8827-d642c229c3f4
-rw-r--r--src/Makefile.am12
1 files changed, 5 insertions, 7 deletions
diff --git a/src/Makefile.am b/src/Makefile.am
index 1577359c5..496cc53ad 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -91,13 +91,6 @@ libmpfr_la_LDFLAGS = $(MPFR_LDFLAGS) $(LIBMPFR_LDFLAGS) -version-info 6:0:0
$(srcdir)/get_patches.c: $(top_srcdir)/PATCHES $(top_srcdir)/tools/get_patches.sh
(cd $(top_srcdir) && ./tools/get_patches.sh) > $@ || rm -f $@
-# Do not add get_patches.c to CLEANFILES so that this file doesn't
-# need to be (re)built as long as no patches are applied. Anyway the
-# update of this file should be regarded as part of the patch process,
-# and "make clean" shouldn't remove it, just like it doesn't remove
-# what has been changed by "patch".
-#CLEANFILES = get_patches.c
-
# For check-gmp-symbols
GMPC = $(top_builddir)/src/gmp.c
GMPI = $(top_builddir)/src/gmp.i
@@ -146,6 +139,11 @@ check-exported-symbols: $(LTLIBRARIES)
fi; \
fi
+# Do not add get_patches.c to CLEANFILES so that this file doesn't
+# need to be (re)built as long as no patches are applied. Anyway the
+# update of this file should be regarded as part of the patch process,
+# and "make clean" shouldn't remove it, just like it doesn't remove
+# what has been changed by "patch".
CLEANFILES = $(GMPC) $(GMPI)
.PHONY: check-gmp-symbols check-exported-symbols