You need to sign in or sign up before continuing.
#1118 find command in dunemodule.lib should get some extra options.
Metadata
| Property | Value |
|---|---|
| Reported by | Robert K (robertk@posteo.org) |
| Reported at | May 22, 2012 18:51 |
| Type | Feature Request |
| Version | 2.0 |
| Operating System | Unspecified / All |
| Last edited by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Last edited at | May 23, 2012 09:39 |
| Closed by | Christian Engwer (christi@conan.iwr.uni-heidelberg.de) |
| Closed at | May 23, 2012 09:39 |
| Closed in version | Unknown |
| Resolution | Not a bug |
| Comment |
Description
When dunecontrol is called a find command is executed, e.g. line 200 of dunemodule (at revision 6752 of dune-common). It would be very helpful to be able to parameters to that find command, for example, -maxdepth 2, to avoid the search of all sub directories which can take quite a while for a large number of modules.
Therefore, it would be good to allow the user to pass extra options to the find command passed to dunecontrol.