#1118 find command in dunemodule.lib should get some extra options.
|Reported by||Robert K (email@example.com)|
|Reported at||May 22, 2012 18:51|
|Operating System||Unspecified / All|
|Last edited by||Christian Engwer (firstname.lastname@example.org)|
|Last edited at||May 23, 2012 09:39|
|Closed by||Christian Engwer (email@example.com)|
|Closed at||May 23, 2012 09:39|
|Closed in version||Unknown|
|Resolution||Not a bug|
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.