#1114 automatically generated DUNE_CONTROL_PATH might include duplicate entries
Metadata
| Property | Value |
|---|---|
| Reported by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Reported at | May 22, 2012 16:07 |
| Type | Bug Report |
| Version | Git (pre2.4) [autotools] |
| Operating System | Unspecified / All |
| Last edited by | Markus Blatt (markus@dr-blatt.de) |
| Last edited at | May 22, 2012 18:00 |
| Closed by | Markus Blatt (markus@dr-blatt.de) |
| Closed at | May 22, 2012 18:00 |
| Closed in version | Unknown |
| Resolution | None |
| Comment | I am a dumb ass. This obviously another bug |
Description
... resulting in error messages like:
ERROR: multiple definition of module dune-grid previous defined in: /usr/lib/dunecontrol/dune-grid/dune.module redefined in: /usr/lib/dunecontrol/dune-grid/dune.module