aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/Makefile
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2016-10-31 13:13:11 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-03-02 19:12:39 +0100
commit12e122908c3833ec86323354c31aa613fb40b8f6 (patch)
tree94ac3af83e9cd7415024c054b7dedc3124daff47 /Makefile
parent1cd5d64b714ec97f2169ce59549ea1ff47da358f (diff)
downloadsparse-dev-12e122908c3833ec86323354c31aa613fb40b8f6.tar.gz
By default disable the warning flag '-Wunknown-attribute'
Generally, we're not interested by those warnings, but we can always explicitly ask for them if needed. So make the flag '-Wunknown-attribute' off by default. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions