diff options
| author | Michael Büsch <mb@bu3sch.de> | 2010-11-04 12:28:55 +0000 |
|---|---|---|
| committer | Michael Büsch <mb@bu3sch.de> | 2010-11-04 12:28:55 +0000 |
| commit | e5fc77edd957fac0b0496594bd55a9662d3a7a2a (patch) | |
| tree | a83d59f245c986328d0a3b53c5645daeb770f7d6 /tools/mpfr | |
| parent | 635ec6e7d957a6cbb2b1e1b1af7288415e578aa3 (diff) | |
| download | upstream-e5fc77edd957fac0b0496594bd55a9662d3a7a2a.tar.gz upstream-e5fc77edd957fac0b0496594bd55a9662d3a7a2a.tar.bz2 upstream-e5fc77edd957fac0b0496594bd55a9662d3a7a2a.zip | |
Lock copying of directory trees to the staging dir with the "staging-dir" lock. This lock probably has to be taken elsewhere, too.
SVN-Revision: 23857
Diffstat (limited to 'tools/mpfr')
0 files changed, 0 insertions, 0 deletions