diff --git a/Makefile b/Makefile index ff3df25fdd32eb6e4675812f9234c436988633be..dddb183595f3bc99617c5f40ed1d23d8dceb0877 100644 --- a/Makefile +++ b/Makefile @@ -2184,12 +2184,6 @@ BINARY_DISTRIB_FILES := \ $(sort $(wildcard ivette/src/dome/doc/template/static/fonts/*)) \ $(sort $(wildcard share/*.ico share/*.png share/theme/*/*.png)) -TESTS_WITHOUT_NEWLINE := \ - tests/spec/unfinished-oneline-acsl-comment.i \ - tests/verisec/suite/programs/apps/SpamAssassin/BID-6679/message_write/test \ - tests/verisec/suite/programs/apps/sendmail/CVE-1999-0047/mime7to8/array_vs_pointer.ods \ - tests/verisec/suite/programs/apps/sendmail/CVE-1999-0047/mime7to8/data_testing.ods \ - BINARY_DISTRIB_TESTS := \ tests/misc/oracle/interpreted_automata_dataflow_backward.dot \ tests/misc/oracle/interpreted_automata_dataflow_forward.dot \ @@ -2197,6 +2191,10 @@ BINARY_DISTRIB_TESTS := \ tests/verisec/suite/programs/apps/sendmail/CVE-1999-0047/mime7to8/array_vs_pointer.ods \ tests/verisec/suite/programs/apps/sendmail/CVE-1999-0047/mime7to8/data_testing.ods \ +TESTS_WITHOUT_NEWLINE := \ + $(BINARY_DISTRIB_TESTS) \ + tests/spec/unfinished-oneline-acsl-comment.i \ + # OPEN_SOURCE: set it to 'yes' if you want to check open source headers # STRICT_HEADERS: set it to 'yes' if you want to consider warnings as errors # The target check-headers does the following checks: