From: Francois-Xavier Le Bail Date: Wed, 15 Feb 2023 09:05:00 +0000 (+0100) Subject: Avoid a space before a tab in a comment X-Git-Url: https://git.tcpdump.org/libpcap/commitdiff_plain/38e80701e641c882c73964320cbd8e4f726bc97d Avoid a space before a tab in a comment This change avoids a false positive when looking for bad indentations. Moreover: Replace the deprecated 'egrep' variant by 'grep -E'. [skip ci] --- diff --git a/mkdep b/mkdep index ef120bdb..f85a447a 100755 --- a/mkdep +++ b/mkdep @@ -92,7 +92,7 @@ _EOF_ # hack can't deal with anything that requires a search path, and doesn't # even try for anything using bracket (<>) syntax. # -# egrep '^#include[ ]*".*"' /dev/null $* | +# grep -E '^#include[[:blank:]]*".*"' /dev/null $* | # sed -e 's/:[^"]*"\([^"]*\)".*/: \1/' -e 's/\.c/.o/' | #