diff options
-rwxr-xr-x | scripts/buildstats-diff | 2 | ||||
-rwxr-xr-x | scripts/buildstats-summary | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/scripts/buildstats-diff b/scripts/buildstats-diff index 2f6498ab67..c9aa76a8fa 100755 --- a/scripts/buildstats-diff +++ b/scripts/buildstats-diff | |||
@@ -1,4 +1,4 @@ | |||
1 | #!/usr/bin/python3 | 1 | #!/usr/bin/env python3 |
2 | # | 2 | # |
3 | # Script for comparing buildstats from two different builds | 3 | # Script for comparing buildstats from two different builds |
4 | # | 4 | # |
diff --git a/scripts/buildstats-summary b/scripts/buildstats-summary index f521d78650..b10c671b29 100755 --- a/scripts/buildstats-summary +++ b/scripts/buildstats-summary | |||
@@ -1,4 +1,4 @@ | |||
1 | #! /usr/bin/python3 | 1 | #!/usr/bin/env python3 |
2 | # | 2 | # |
3 | # Dump a summary of the specified buildstats to the terminal, filtering and | 3 | # Dump a summary of the specified buildstats to the terminal, filtering and |
4 | # sorting by walltime. | 4 | # sorting by walltime. |