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
From da5ec79cf9c560d5b39d992b98d44388a764a0ef Mon Sep 17 00:00:00 2001 From: "Max R.D. Parmer" <[email protected]> Date: Sun, 3 Aug 2014 18:44:08 -0700 Subject: [PATCH] Use usr/bin/env for all python bangpaths to enable virtualenv use. Very useful with python3 as the default platform. --- libsel4/tools/syscall_stub_gen.py | 2 +- manual/tools/gen_env.py | 2 +- tools/invocation_header_gen.py | 2 +- tools/syscall_header_gen.py | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/libsel4/tools/syscall_stub_gen.py b/libsel4/tools/syscall_stub_gen.py index f4b3acd..e9be552 100644 --- a/libsel4/tools/syscall_stub_gen.py +++ b/libsel4/tools/syscall_stub_gen.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python # # Copyright 2014, NICTA # diff --git a/manual/tools/gen_env.py b/manual/tools/gen_env.py index 46aaf41..c9cb392 100755 --- a/manual/tools/gen_env.py +++ b/manual/tools/gen_env.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python # # Copyright 2014, NICTA # diff --git a/tools/invocation_header_gen.py b/tools/invocation_header_gen.py index ed9ad40..6258e9e 100755 --- a/tools/invocation_header_gen.py +++ b/tools/invocation_header_gen.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python # # Copyright 2014, NICTA # diff --git a/tools/syscall_header_gen.py b/tools/syscall_header_gen.py index ee38cc4..9a51b74 100755 --- a/tools/syscall_header_gen.py +++ b/tools/syscall_header_gen.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python # # Copyright 2014, NICTA # -- 2.0.3
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
