equal
deleted
inserted
replaced
54 # integrity check for public/private headers |
54 # integrity check for public/private headers |
55 contains(TEMPLATE, .*lib$) { |
55 contains(TEMPLATE, .*lib$) { |
56 for(pubheader, $$list($$lower($$unique(PUBLIC_HEADERS)))) { |
56 for(pubheader, $$list($$lower($$unique(PUBLIC_HEADERS)))) { |
57 contains(pubheader, .*_p.h$):warning($$basename(pubheader) is listed in PUBLIC_HEADERS but has a \"_p.h\" suffix.) |
57 contains(pubheader, .*_p.h$):warning($$basename(pubheader) is listed in PUBLIC_HEADERS but has a \"_p.h\" suffix.) |
58 } |
58 } |
59 for(privheader, $$list($$lower($$unique(INTERNAL_HEADERS)))) { |
59 for(privheader, $$list($$lower($$unique(PRIVATE_HEADERS)))) { |
60 !contains(privheader, .*_p.h$):warning($$basename(privheader) is listed in INTERNAL_HEADERS but has no \"_p.h\" suffix.) |
60 !contains(privheader, .*_p.h$):warning($$basename(privheader) is listed in PRIVATE_HEADERS but has no \"_p.h\" suffix.) |
61 } |
61 } |
62 } |
62 } |
63 |
63 |
64 # common extra targets |
64 # common extra targets |
65 include(flint.pri) |
65 include(flint.pri) |