diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2007-08-02 10:19:44 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2007-08-02 10:19:44 +0000 |
| commit | 442b082b486e3a90076b68da8c5ecaf49337180a (patch) | |
| tree | e7a8f941ecfada4c4bad7514d44f229dea5eeff4 /Makefile.am | |
| parent | 1512655a20e9789ff2d42ffea94d3b21e76c8f92 (diff) | |
| download | mpfr-442b082b486e3a90076b68da8c5ecaf49337180a.tar.gz | |
Makefile.am: added a comment about "get_patches.c".
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@4721 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/Makefile.am b/Makefile.am index bc5299c41..97ab3ab54 100644 --- a/Makefile.am +++ b/Makefile.am @@ -35,6 +35,11 @@ MAKEINFOFLAGS = --enable-encoding get_patches.c: PATCHES get_patches.sh ./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 # Tune program |