diff options
| author | Michael Stahl <mstahl@redhat.com> | 2011-11-03 20:10:28 +0100 |
|---|---|---|
| committer | Michael Stahl <mstahl@redhat.com> | 2011-11-04 10:54:58 +0100 |
| commit | 30a7608b6cb95c0ba6903116101314a02b82c1dd (patch) | |
| tree | 00ebc9749fb3e1ca51c984260e37daea2111aaa4 /unodevtools | |
| parent | 62b44c34825fc928867192f407d1d24bd5bcabca (diff) | |
configure: --with-linked-git: check that clone repos exist
If you specify the directory of the core repo instead of the clones
subdirectory a huge mess results.
Diffstat (limited to 'unodevtools')
0 files changed, 0 insertions, 0 deletions