Skip to content

Commit

Permalink
build: make format scripts use the version of python3 available in PA…
Browse files Browse the repository at this point in the history
…TH (PROOF-000) (#158)

tweak path
  • Loading branch information
rnburn authored Jul 23, 2024
1 parent 9eb4eee commit 6a5e510
Show file tree
Hide file tree
Showing 6 changed files with 6 additions and 6 deletions.
2 changes: 1 addition & 1 deletion tools/code_format/build_fixer.py
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#!/usr/bin/python3
#!/usr/bin/env python3

########################################
# Adopted from Envoy
Expand Down
2 changes: 1 addition & 1 deletion tools/code_format/check_format.py
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#!/usr/bin/python3
#!/usr/bin/env python3

########################################
# Adopted from Envoy
Expand Down
2 changes: 1 addition & 1 deletion tools/code_format/common.py
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#!/usr/bin/python3
#!/usr/bin/env python3

def include_dir_order():
return (".")
2 changes: 1 addition & 1 deletion tools/code_format/copyright_fixer.py
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#!/usr/bin/python3
#!/usr/bin/env python3

import sys
import re
Expand Down
2 changes: 1 addition & 1 deletion tools/code_format/header_order.py
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#!/usr/bin/python3
#!/usr/bin/env python3

########################################
# Adopted from Envoy
Expand Down
2 changes: 1 addition & 1 deletion tools/code_format/paths.py
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#!/usr/bin/python3
#!/usr/bin/env python3

import os
import os.path
Expand Down

0 comments on commit 6a5e510

Please sign in to comment.