Il 09/10/2013 22:05, Marcelo Tosatti ha scritto: >>> > > Can the new option format for memory be created incrementally on >>> > > top of -mem-path-force? (agree its a good thing, it avoids proliferation >>> > > of new options). >> > >> > If you do it on top, it won't avoid proliferation, or am I missing >> > something? > Right. But in fact, the new option is not necessary. > > So please consider only patch 2 for inclusion.
Do you mean only patch 1? Paolo
