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

7 files changed, 7 insertions, 7 deletions

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
index 841b8e5e..9be8c26d 100644..100755
--- 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 -----------------------------------------------------------===##
 # 
diff --git a/test/Concrete/ConcreteTest.py b/test/Concrete/ConcreteTest.py
index 66d18c83..57ea77d2 100755
--- a/test/Concrete/ConcreteTest.py
+++ b/test/Concrete/ConcreteTest.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 from __future__ import print_function
 import argparse