Re: compilation.py feedback

Hi Peter,

Would you like to do any additional work on the script or should I merge to mainstream already?

I’ll check the current implementation once more tomorrow (I won’t manage to do this tonight) and possibly do some refactoring, so it should be ready to be merged tomorrow’s evening - I’ll write you then, OK?

Regards,

Petr

Would you like to post a relpy?


This post is a reply to:
Re: compilation.py feedback
Hi Petr, Yes, I’ve been using it as a part of my development. But I’m ok with the variant that you’ve suggested (implementing the former scenario first) - I can then (more...)

No follow-ups yet.