diff options
| -rwxr-xr-x | Tools/scripts/checkcats.py | 2 | ||||
| -rwxr-xr-x | Tools/scripts/chkdepschain.py | 2 | ||||
| -rwxr-xr-x | Tools/scripts/gnomedepends.py | 2 | ||||
| -rwxr-xr-x | Tools/scripts/patchtool.py | 2 |
4 files changed, 4 insertions, 4 deletions
diff --git a/Tools/scripts/checkcats.py b/Tools/scripts/checkcats.py index f4d80885124c..12bfa26f9f80 100755 --- a/Tools/scripts/checkcats.py +++ b/Tools/scripts/checkcats.py @@ -1,4 +1,4 @@ -#!/usr/local/bin/python +#!/usr/bin/env python # # checkcats.py - verify that master categories in all ports are correct and # report any problems. diff --git a/Tools/scripts/chkdepschain.py b/Tools/scripts/chkdepschain.py index 5055d23a88b5..dfbb0e4817ff 100755 --- a/Tools/scripts/chkdepschain.py +++ b/Tools/scripts/chkdepschain.py @@ -1,4 +1,4 @@ -#!/usr/local/bin/python +#!/usr/bin/env python # # ---------------------------------------------------------------------------- # "THE BEER-WARE LICENSE" (Revision 42, (c) Poul-Henning Kamp): diff --git a/Tools/scripts/gnomedepends.py b/Tools/scripts/gnomedepends.py index ab8774dd6ad4..9cb6268ca1c7 100755 --- a/Tools/scripts/gnomedepends.py +++ b/Tools/scripts/gnomedepends.py @@ -1,4 +1,4 @@ -#!/usr/local/bin/python +#!/usr/bin/env python # # gnomedepends # Analyse pkg/PLIST and give an advice as to which GNOME diff --git a/Tools/scripts/patchtool.py b/Tools/scripts/patchtool.py index 216f8beb4c40..21545e007dd4 100755 --- a/Tools/scripts/patchtool.py +++ b/Tools/scripts/patchtool.py @@ -1,4 +1,4 @@ -#!/usr/local/bin/python +#!/usr/bin/env python # ex:ts=4 #-*- mode: Fundamental; tab-width: 4; -*- # |