On Fri, Jan 24, 2014 at 09:43:29AM +0100, Juergen Beisert wrote: > Hi Jon, Michael, > > On Thursday 23 January 2014 17:08:21 Michael Olbrich wrote: > > [...] > > > > > diff --git a/config/setup/Kconfig b/config/setup/Kconfig > > > index 790276b..e90949b 100644 > > > --- a/config/setup/Kconfig > > > +++ b/config/setup/Kconfig > > > @@ -93,6 +93,16 @@ config SETUP_PROJECTPATH > > > > > > endmenu > > > > > > +menu "Dev Download " > > > + > > > +config SETUP_DEVMIRROR > > > > we use: > > string > > prompt "..." > > > > > + string "Dev package Mirror" > > > > Can you change this to "Mirror for pre-build archives" or something like > > that. Take a look at the latest commits. Juergen pushed a patch to change > > the corresponding descriptions in rules/project-name.in > > > > jbe: any better idea for the prompt? > > To be clear I use the term "pre-build archives" everywhere for this feature. > Currently I'm also extending the "How to become a PTXdist Guru" manual with a > description of this feature and using exactly this term. So as long this term > is part of the menu entry (or at least of the help text) I'm happy. > > IMHO: due to currently existing restrictions using this feature (fixed to a > specific PTXdist release, patch stacks, toolchain a.s.o.), should this > setting > be a *project local* setting instead.
Now that I think about this, you are correct. Jon: can you move this right next to the directory option? Michael -- Pengutronix e.K. | | Industrial Linux Solutions | http://www.pengutronix.de/ | Peiner Str. 6-8, 31137 Hildesheim, Germany | Phone: +49-5121-206917-0 | Amtsgericht Hildesheim, HRA 2686 | Fax: +49-5121-206917-5555 | -- ptxdist mailing list [email protected]
