On Fri, Jan 26, 2018 at 05:00:33PM -0200, Antonio Terceiro wrote: > I want to add a call to make-project-list at the top of update-mrconfig > so that we don't need to remember 2 steps when updating the mr > configuration ... is there any drawback in doing that? make-project-list > doesn't take too long here. No drawback I think. You're right it is much more convenient this way, since there is a priori no reason to run again update-mrconfig if the list hasn't changed. > diff --git a/update-mrconfig b/update-mrconfig > index 4bd1cda..5132fb5 100755 > --- a/update-mrconfig > +++ b/update-mrconfig > @@ -19,6 +19,7 @@ if [ -z "$OUTPUT" ] ; then > fi > msg "Retrieving package list" > +./make-projects-list > # Packages hosted in Git > GIT_REPODIR="meta" Applied. Cheers, Cédric
Attachment:
signature.asc
Description: PGP signature