Hi Max, no problem, thanks for the patch!
Cheers, Gerwin On 04.08.2014, at 12:55 pm, Max R.D. Parmer <[email protected]> wrote: > This patch targets the core "seL4" repo. > > I idly submitted a PR on github before reading anything at all really > (beyond checking to see if the issue was made more consistent in > subsequent commits). Apologies if this is/was inconvenient. > > I saw some prior github discussion on whether "python2" or "python" is > best'; IMHO, "python" is best as virtualenv allows the desired binary to > be specified at env creation time. > > CLA forthcoming, I'm quite a long way from printers/scanners and all > those sorts of things. > -- > @maximus_freeman 0x7D964D3361142ACF > <0001-Use-usr-bin-env-for-all-python-bangpaths-to-enable-v.patch>_______________________________________________ > Devel mailing list > [email protected] > https://sel4.systems/lists/listinfo/devel ________________________________ The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments. _______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
