#863 dunecontrol: Allow modules to be subdirectories
Metadata
| Property | Value |
|---|---|
| Reported by | Ansgar Burchardt (burchardt@igpm.rwth-aachen.de) |
| Reported at | Jan 8, 2011 16:14 |
| Type | Bug Report |
| Version | Git (pre2.4) [autotools] |
| Operating System | Unspecified / All |
| Last edited by | Jö Fahlke (jorrit@jorrit.de) |
| Last edited at | Jan 16, 2011 11:29 |
| Closed by | Jö Fahlke (jorrit@jorrit.de) |
| Closed at | Jan 16, 2011 11:29 |
| Closed in version | Unknown |
| Resolution | Implemented |
| Comment |
Description
dunecontrol fails when a module is a symlink instead of a directory:
dune-praktikum -> ../dune2.0/dune-praktikum
This is because `find "$dir"' in dune-common/lib/dunemodules.lib does look into $dir if this is a symlink, it only does so if -H (or -L) is used (patch attached).
Ansgar