diff --git a/scripts/insert-includes.py b/scripts/insert-includes.py index 1e8a43ac..ed6fed73 100755 --- a/scripts/insert-includes.py +++ b/scripts/insert-includes.py @@ -1,4 +1,4 @@ -#!/usr/bin/python +#!/usr/bin/env python # replaces a `include with the full include file #