diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-07-02 10:45:20 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2015-07-02 10:45:20 +0000 |
| commit | f9e148362a0e865c93d5a9ff0ad8011749284837 (patch) | |
| tree | 9628ba16dcbc1504d669e052b2e767c8d5cff7e9 | |
| parent | 7833a4964a7e0b4fb4d299ce350b082c181793f5 (diff) | |
| download | mpfr-f9e148362a0e865c93d5a9ff0ad8011749284837.tar.gz | |
[tools/build-patch] Rebuild the mpfr.info file if mpfr.texi has been
modified, in order to take it into account in the patch. This is needed
since the mpfr.info file is distributed in the tarball.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9609 280ebfd0-de03-0410-8827-d642c229c3f4
| -rwxr-xr-x | tools/build-patch | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/tools/build-patch b/tools/build-patch index e47564ae6..3780e3bfc 100755 --- a/tools/build-patch +++ b/tools/build-patch @@ -78,6 +78,11 @@ if [[ $# -ge 1 ]] then echo $3 >> PATCHES fi fi + if ! cmp --quiet $mpfrdir/$base-{a,b}/doc/mpfr.texi; then + ./configure + make info + make distclean + fi popd set +e TZ=UTC diff -Naurd $base-a $base-b > $newpatch |