diff --git a/tools/mergejs.py b/tools/mergejs.py index 6c34a8f937..94302569e8 100755 --- a/tools/mergejs.py +++ b/tools/mergejs.py @@ -1,4 +1,4 @@ -#!/usr/bin/python2.3 +#!/usr/bin/env python # # Merge multiple JavaScript source code files into one. # diff --git a/tools/shrinksafe.py b/tools/shrinksafe.py index 7251aedef5..4e627315d3 100755 --- a/tools/shrinksafe.py +++ b/tools/shrinksafe.py @@ -1,5 +1,4 @@ -#!/usr/bin/python2.3 - +#!/usr/bin/env python # # Script to provide a wrapper around the ShrinkSafe "web service" #