Skip to content

#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.