From f6036c0aeb01ca800bdf41ec5f07ded2ce89d26c Mon Sep 17 00:00:00 2001 From: Cosmin Truta Date: Sun, 20 Nov 2022 20:21:41 +0200 Subject: Update, rename and clean up various scripts Rename contrib/tools/chkfmt to contrib/tools/chkfmt.sh; refactor: * Increase the max line length for contrib/**/*.[ch] from 96 to 100. * Set the max line length for ci_*.sh to 100. * Use `basename $0` instead of the hard-coded script name. * Update comments. Remove contrib/tools/reindent. For automated code formatting, including indentation, we need a robust solution. Add an empty line after the hashbang line in all scripts. Remove the "last changed" version info from comment headers. (The version control system maintains this information automatically.) --- scripts/checksym.awk | 1 + 1 file changed, 1 insertion(+) (limited to 'scripts/checksym.awk') 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: # -- cgit v1.2.1