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 /tools/build-patch | |
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
Diffstat (limited to 'tools/build-patch')
-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 |