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 /make/save_args | |
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 'make/save_args')
0 files changed, 0 insertions, 0 deletions