summaryrefslogtreecommitdiff
path: root/tools/build-patch
Commit message (Collapse)AuthorAgeFilesLines
* Replaced "TZ=UTC" by "TZ=UTC0" for portability.vlefevre2018-08-111-1/+1
| | | | git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@12985 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/build-patch] Rebuild the mpfr.info file if mpfr.texi has beenvlefevre2015-07-021-0/+5
| | | | | | | 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
* [tools/build-patch]vlefevre2014-06-301-22/+39
| | | | | | | | | * Removed unnecessary quotes for better readability (this is zsh). * When <patchlevel> (second argument) is used, use the correct name for the generated patch; at the same time, fixed a checkobj call. * Added comment about typical usage. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9117 280ebfd0-de03-0410-8827-d642c229c3f4
* [tools/build-patch] Correction if MPFR_CURRENT_DIR is set: to make surevlefevre2014-06-301-5/+5
| | | | | | | that it is always up-to-date, we want to allow it to be a symlink (e.g. .../mpfr-current), so that we want to call realpath on it. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9116 280ebfd0-de03-0410-8827-d642c229c3f4
* Added tools/build-patch zsh script to transform a raw patch into a patchvlefevre2014-06-301-0/+74
to be put on the MPFR www server. git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@9115 280ebfd0-de03-0410-8827-d642c229c3f4