1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
#!/usr/bin/env bash
#
# This script removes all trailing whitespace.
#
# There is nothing to adjust. Afterward please check the changes via "git
# diff" to make sure that the replacement worked
echo ""
echo "This script removes all whitespace in otherwise empty lines in src/"
echo ""
# collect all files
for DIR in src/*
do
test -d $DIR || continue
# external codes for which we do not want to modify whitespace
case $DIR in src/amplmp | src/cppad | src/dejavu | src/nauty | src/tinycthread ) continue ;; esac
FILES="$FILES $DIR/*.h $DIR/*.c"
done
for FILE in ${FILES[@]}
do
if test -f $FILE
then
echo $FILE
sed -i -e 's/\([ \t][ \t]*\)$//g' $FILE
fi
done
|
