#195 duneproject doesn't work when dune modules are not found
Metadata
Property | Value |
---|---|
Reported by | Oliver Sander (oliver.sander@tu-dresden.de) |
Reported at | Nov 7, 2006 11:04 |
Type | Bug Report |
Version | Git (pre2.4) [autotools] |
Operating System | Unspecified / All |
Closed by | Markus Blatt (markus@dr-blatt.de) |
Closed at | Nov 21, 2006 12:16 |
Closed in version | 1.0 |
Resolution | Implemented |
Comment | Implemented checks in revision 4787. |
Description
When I call duneproject from a directory that does not contain the dune modules that my new project should depend on, the duneproject script does not complain, but it only creates a new directory and the dune.module file. This is unfortunate if you don't like keeping all your projects in the same directory.