diff --git a/tools/workflows/find.py b/tools/workflows/find.py index 292346497a..7cff188f2c 100755 --- a/tools/workflows/find.py +++ b/tools/workflows/find.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 """ Finds all makefile projects in the given directories and allows to exclude diff --git a/tools/workflows/make.py b/tools/workflows/make.py index 4c90094ff5..a1ddfcaaf7 100755 --- a/tools/workflows/make.py +++ b/tools/workflows/make.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 """ This script is intended to be used to run make under supervision for diff --git a/tools/workflows/report.py b/tools/workflows/report.py index 9509386ede..627c9402d1 100755 --- a/tools/workflows/report.py +++ b/tools/workflows/report.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 """Scan test results directory and report status."""