diff --git a/src/Make.py b/src/Make.py index 345da61e7b..672c674460 100755 --- a/src/Make.py +++ b/src/Make.py @@ -1,4 +1,4 @@ -#!/usr/local/bin/python +#!/usr/local/env python # if necessary, edit preceding line to point to your Python # or launch as "python Make.py ..."