Hi,
On Thu, May 19, 2011 at 6:00 PM, Maciej Fijalkowski <[email protected]> wrote:
> If the only goal is to avoid doing those 2 at the same time, do
> translate.py --source and then go to the /tmp/usession-*/testing_1
> directory and type make
We should decide if it would make sense or not to just do
os.execv("make"), which would have the same effect. The only drawback
I can think of would be that you wouldn't get the nice summary and
timings at the end of translation --- which we can maybe re-obtain
anyway by hacking a bit :-)
A bientôt,
Armin.
_______________________________________________
pypy-dev mailing list
[email protected]
http://mail.python.org/mailman/listinfo/pypy-dev
