Merge pull request #1615 from hansungk/fix-insert-includes-python

Make scripts/insert-includes.py use Python from conda env
ucb-bar · Oct 5, 2023 · 6b5d55c · 6b5d55c
2 parents adebd63 + 921b0c0
commit 6b5d55c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
 #