diff options
| author | Björn Gustavsson <[email protected]> | 2016-08-30 10:27:46 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-08-30 14:15:55 +0200 |
| commit | 362bccfd7d2bcb15e5c62cb17d31442713a5a20b (patch) | |
| tree | 1e5c6b9f3667937252fa07c546fc7a13de7b1690 /lib/tools/src/make.erl | |
| parent | b815d568e2e43d96698dbb8de6b993d55c1b14a0 (diff) | |
| download | otp-362bccfd7d2bcb15e5c62cb17d31442713a5a20b.tar.gz otp-362bccfd7d2bcb15e5c62cb17d31442713a5a20b.tar.bz2 otp-362bccfd7d2bcb15e5c62cb17d31442713a5a20b.zip | |
make, ct_make: Handle warning attributes in source files
epp learned to handle the -warning() directive in 14d72f02, but
make and ct_make were not updated to expect a {warning,_} return
value from epp:parse_erl_form/1.
Diffstat (limited to 'lib/tools/src/make.erl')
| -rw-r--r-- | lib/tools/src/make.erl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/tools/src/make.erl b/lib/tools/src/make.erl index 26378f28a0..37e67cbe34 100644 --- a/lib/tools/src/make.erl +++ b/lib/tools/src/make.erl @@ -317,5 +317,7 @@ check_includes2(Epp, File, ObjMTime) -> epp:close(Epp), false; {error, _Error} -> + check_includes2(Epp, File, ObjMTime); + {warning, _Warning} -> check_includes2(Epp, File, ObjMTime) end. |