7d3b72c814
There weren't many left, and I happened to have one of these files open and it was distracting. Closes: #839 Approved by: jlebon
11 lines
227 B
Bash
Executable File
11 lines
227 B
Bash
Executable File
#!/bin/sh
|
|
set -xeuo pipefail
|
|
echo "Checking for tabs:"
|
|
(git grep -E '^ +' -- '*.[ch]' || true) > tabdamage.txt
|
|
if test -s tabdamage.txt; then
|
|
echo "Error: tabs in .[ch] files:"
|
|
cat tabdamage.txt
|
|
exit 1
|
|
fi
|
|
echo "ok"
|