From 6b94e7721e12cf5d99722278adf2ba9c0bbde995 Mon Sep 17 00:00:00 2001
From: Jörg Thalheim <joerg@thalheim.io>
Date: Fri, 21 Jul 2017 12:04:30 +0100
Subject: more portable shebangs

This is useful on systems like NixOS, where python3 is not in
/usr/bin/python3 as well as for people using alternative ways to
install python such as virtualenv/pyenv.

Some scripts where already using '/usr/bin/env'. With this pull request
it gets more consistent. For background information see also:
https://github.com/systemd/systemd/pull/5816
---
 scripts/IStatsMerge.py    | 2 +-
 scripts/IStatsSum.py      | 2 +-
 scripts/coverageServer.py | 2 +-
 scripts/genTempFiles.sh   | 2 +-
 scripts/klee-control      | 2 +-
 scripts/objdump           | 2 +-
 6 files changed, 6 insertions(+), 6 deletions(-)
 mode change 100644 => 100755 scripts/coverageServer.py

(limited to 'scripts')

diff --git a/scripts/IStatsMerge.py b/scripts/IStatsMerge.py
index ae87033f..9ba43981 100755
--- a/scripts/IStatsMerge.py
+++ b/scripts/IStatsMerge.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 # ===-- IStatsMerge.py ----------------------------------------------------===##
 # 
diff --git a/scripts/IStatsSum.py b/scripts/IStatsSum.py
index 0546e895..78e694c1 100755
--- a/scripts/IStatsSum.py
+++ b/scripts/IStatsSum.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 # ===-- IStatsSum.py ------------------------------------------------------===##
 # 
diff --git a/scripts/coverageServer.py b/scripts/coverageServer.py
old mode 100644
new mode 100755
index 841b8e5e..9be8c26d
--- a/scripts/coverageServer.py
+++ b/scripts/coverageServer.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 # ===-- coverageServer.py -------------------------------------------------===##
 # 
diff --git a/scripts/genTempFiles.sh b/scripts/genTempFiles.sh
index fa6e435f..a3ffac4d 100755
--- a/scripts/genTempFiles.sh
+++ b/scripts/genTempFiles.sh
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # ===-- genTempFiles.sh ---------------------------------------------------===##
 # 
diff --git a/scripts/klee-control b/scripts/klee-control
index 2f111524..0a918b42 100755
--- a/scripts/klee-control
+++ b/scripts/klee-control
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 # ===-- klee-control ------------------------------------------------------===##
 # 
diff --git a/scripts/objdump b/scripts/objdump
index 3090d383..30f5893b 100755
--- a/scripts/objdump
+++ b/scripts/objdump
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 # ===-- objdump -----------------------------------------------------------===##
 # 
-- 
cgit 1.4.1