History log of /seL4-l4v-10.1.1/seL4/manual/tools/gen_env.py
Revision Date Author Comments
# 93d2ed6a 18-Jun-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

manual: fix script licenses
# b2c84ed8 23-May-2017 Stephen Sherratt <Stephen.Sherratt@data61.csiro.au>

manual: Build system compatible with python3
# 2e3e09ab 21-Jan-2016 Corey Richardson <corey.richardson@nicta.com.au>

manual: gen_env: python3 compat
# da5ec79c 03-Aug-2014 Max R.D. Parmer <maxp@trystero.is>

Use usr/bin/env for all python bangpaths to enable virtualenv use.

Very useful with python3 as the default platform.
# 91b7da86 17-Jul-2014 TrusthworthySystems <gatekeeper@sel4.systems>

Release snapshot