File tree Expand file tree Collapse file tree 1 file changed +5
-0
lines changed Expand file tree Collapse file tree 1 file changed +5
-0
lines changed Original file line number Diff line number Diff line change 7
7
- BUILD_TYPE=make # build using Makefile
8
8
- BUILD_TYPE=complete # build manually and regenerate figures, grammar, and cross-references
9
9
- BUILD_TYPE=check-whitespace # check for whitespace at the ends of lines
10
+ - BUILD_TYPE=check-newlines # check for blank lines at the ends of files
10
11
11
12
script :
12
13
# Build std.pdf
@@ -38,6 +39,10 @@ script:
38
39
- if [ "$BUILD_TYPE" = "check-whitespace" ]; then
39
40
! grep '\s$' source/*.tex;
40
41
fi
42
+ # Fail if there are blank lines at the ends of any files
43
+ - if [ "$BUILD_TYPE" = "check-newlines" ]; then
44
+ for f in source/*.tex; do [ $(tail -c 2 $f | wc -l) -eq 1 ] || exit 1; done;
45
+ fi
41
46
# Check to see if generated files are out-dated
42
47
- pushd source
43
48
- for FIGURE in *.dot; do
You can’t perform that action at this time.
0 commit comments