diff options
| author | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-01-09 13:46:44 +0000 |
|---|---|---|
| committer | vlefevre <vlefevre@280ebfd0-de03-0410-8827-d642c229c3f4> | 2017-01-09 13:46:44 +0000 |
| commit | ebf70d3f273f596bd9cc7d665dc826aa808ad3d3 (patch) | |
| tree | 7cf26d9737f0286e672513bc9a24692d14a73eb7 /doc/README.dev | |
| parent | 5dce3ffd7baee650e7ff10ca9be62fe8e923e17a (diff) | |
| download | mpfr-ebf70d3f273f596bd9cc7d665dc826aa808ad3d3.tar.gz | |
[doc/README.dev] Updated note added in r11165.
git-svn-id: svn://scm.gforge.inria.fr/svn/mpfr/trunk@11166 280ebfd0-de03-0410-8827-d642c229c3f4
Diffstat (limited to 'doc/README.dev')
| -rw-r--r-- | doc/README.dev | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/README.dev b/doc/README.dev index 672ba032b..d0ddcc847 100644 --- a/doc/README.dev +++ b/doc/README.dev @@ -1437,7 +1437,8 @@ Note: Due to bugs in autoconf[1] and dash[2], the configure script may create files with a binary filename or have any other arbitrary behavior if /bin/sh is dash. The cause is that it tries to execute a MS Windows executable, which is interpreted as a shell script by -dash (thus with random, meaningless commands). +dash (thus with random, meaningless commands). This will confuse +Subversion, and these files need to be removed manually. [1] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=850329 [2] https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=816313 |