diff options
Diffstat (limited to 'scripts/checksym.awk')
-rwxr-xr-x | scripts/checksym.awk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/checksym.awk b/scripts/checksym.awk index fe3af55e0..48e55e60e 100755 --- a/scripts/checksym.awk +++ b/scripts/checksym.awk @@ -1,4 +1,5 @@ #!/bin/awk -f + # Check a list of symbols against the master definition # (official) list. Arguments: # |