diff options
| author | Björn Gustavsson <[email protected]> | 2016-08-31 11:47:28 +0200 |
|---|---|---|
| committer | Björn Gustavsson <[email protected]> | 2016-08-31 11:47:28 +0200 |
| commit | ee8f2380837321fef4975522bfa53cb9161874ac (patch) | |
| tree | 1d2d854cd2b5a4a5b8d4c605a9de924e582cb9f9 /lib/tools/src/make.erl | |
| parent | bba0f5924fa9478d41903331a3285f117c112731 (diff) | |
| parent | 362bccfd7d2bcb15e5c62cb17d31442713a5a20b (diff) | |
| download | otp-ee8f2380837321fef4975522bfa53cb9161874ac.tar.gz otp-ee8f2380837321fef4975522bfa53cb9161874ac.tar.bz2 otp-ee8f2380837321fef4975522bfa53cb9161874ac.zip | |
Merge branch 'bjorn/fix-make/OTP-13855' into maint
* bjorn/fix-make/OTP-13855:
make, ct_make: Handle warning attributes in source files
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. |