config/gmp_mpfr/gmp.in
| author |
"Yann E. MORIN" <yann.morin.1998@anciens.enib.fr> |
|
Thu Jun 11 21:47:19 2009 +0000 (2009-06-11) |
| branch | 1.4 |
| changeset 1451 |
25d050084e98 |
| parent 634 |
c74132339c44
|
| permissions |
-rw-r--r-- |
populate: fix installing dynamic linker 'ld.so'
The dynamic linker, ld.so, needs the execute bit to be set.
Detect tht the library being installed is in fact ld.so and
install it with 0755 instead of 0644.
Fix detecting src == dst.
Use a simpler command to copy src -> dst.
Also change echo to printf, get rid of 'echo -n', which is
highly non-portable.
-------- diffstat follows --------
/trunk/scripts/populate.in | 76 43 33 0 +++++++++++++++++++++++++++++-----------------------
1 file changed, 43 insertions(+), 33 deletions(-)
(transplanted from d7ddcb75e0f703e2ba6d17169167356389224870)