Is there a branch somewhere to try out the no-run-script system? We rely on run scripts pretty heavily and losing them could be a big blow.
On Fri, Dec 18, 2015 at 4:46 PM Freddie Chopin <[email protected]> wrote: > On Friday 18 of December 2015 15:18:25 Mike Shal wrote: > > Hi all, > > > > I'd like to tag master as v0.7.4 soon (probably close to the new year). > If > > you haven't pulled in a while, can you try the latest master and file > > issues for any obvious bugs? Ie: if something works with the current > > version, then you pull the latest and now it doesn't, that's probably a > bug > > for this release :). > > > > I will keep a v0.7.X branch around if necessary, since after v0.7.4 is > > tagged, the master branch will start to include some backward > incompatible > > changes. In particular, I think variants will be removed in favor of > > explicit variants, and run scripts will be removed in favor of a built-in > > python parser (similar to the Lua parser). The aim of these changes is to > > simplify the requirements on the dependency tracker (hopefully opening up > > alternatives to FUSE), and improving the performance. > > Just for the record - tup v0.7.3-86-g6661ac4 works correctly for me (; I'll > try the most recent master soon. > > Regards, > FCh > > -- > -- > tup-users mailing list > email: [email protected] > unsubscribe: [email protected] > options: http://groups.google.com/group/tup-users?hl=en > --- > You received this message because you are subscribed to the Google Groups > "tup-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > For more options, visit https://groups.google.com/d/optout. > -- -- tup-users mailing list email: [email protected] unsubscribe: [email protected] options: http://groups.google.com/group/tup-users?hl=en --- You received this message because you are subscribed to the Google Groups "tup-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
