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 | |
| 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')
| -rw-r--r-- | lib/tools/src/make.erl | 2 | ||||
| -rw-r--r-- | lib/tools/test/make_SUITE_data/test1.erl | 2 |
2 files changed, 4 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. diff --git a/lib/tools/test/make_SUITE_data/test1.erl b/lib/tools/test/make_SUITE_data/test1.erl index f4a133008e..9e21bdc767 100644 --- a/lib/tools/test/make_SUITE_data/test1.erl +++ b/lib/tools/test/make_SUITE_data/test1.erl @@ -3,6 +3,8 @@ -vsn('$Revision: /main/release/2 $'). -compile(export_all). +-warning("a warning"). + f1() -> true. |