diff options
Diffstat (limited to 'scripts/gen-sorted.awk')
| -rwxr-xr-x | scripts/gen-sorted.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/gen-sorted.awk b/scripts/gen-sorted.awk index b36649758b..9669277b31 100755 --- a/scripts/gen-sorted.awk +++ b/scripts/gen-sorted.awk @@ -1,4 +1,4 @@ -#! /usr/bin/awk -f +#!/usr/bin/awk -f # Generate sorted list of directories. The sorting is stable but with # dependencies between directories resolved by moving dependees in front. # Copyright (C) 1998-2016 Free Software Foundation, Inc. |