File tree Expand file tree Collapse file tree 1 file changed +6
-0
lines changed Expand file tree Collapse file tree 1 file changed +6
-0
lines changed Original file line number Diff line number Diff line change 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
10
- BUILD_TYPE=check-newlines # check for blank lines at the ends of files
11
+ - BUILD_TYPE=check-macro-use # check for proper macro use
11
12
12
13
script :
13
14
# Build std.pdf
@@ -43,6 +44,11 @@ script:
43
44
- if [ "$BUILD_TYPE" = "check-newlines" ]; then
44
45
for f in source/*.tex; do [ $(tail -c 2 $f | wc -l) -eq 1 ] || exit 1; done;
45
46
fi
47
+ # Fail if macros are used incorrectly
48
+ - if [ "$BUILD_TYPE" = "check-macro-use" ]; then
49
+ ! grep '\\opt[^{}]' source/*.tex;
50
+ ! grep 'opt{}' source/*.tex;
51
+ fi
46
52
# Check to see if generated files are out-dated
47
53
- pushd source
48
54
- for FIGURE in *.dot; do
You can’t perform that action at this time.
0 commit comments