diff options
Diffstat (limited to '.arc-linters/check-makefiles.py')
| -rw-r--r-- | .arc-linters/check-makefiles.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.arc-linters/check-makefiles.py b/.arc-linters/check-makefiles.py index 7080954477..4778b2d51a 100644 --- a/.arc-linters/check-makefiles.py +++ b/.arc-linters/check-makefiles.py @@ -1,4 +1,4 @@ -#!/usr/bin/env python +#!/usr/bin/env python3 # Warn for use of `--interactive` inside Makefiles (#11468). # |