diff options
| -rwxr-xr-x | make/filter-inputs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/filter-inputs b/make/filter-inputs index dbae957e..8a6bbe2a 100755 --- a/make/filter-inputs +++ b/make/filter-inputs @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python #===- make/filter-inputs ---------------------------------------------------===# # |