diff options
Diffstat (limited to 'tis-ci/test_regset.config')
-rw-r--r-- | tis-ci/test_regset.config | 20 |
1 files changed, 20 insertions, 0 deletions
diff --git a/tis-ci/test_regset.config b/tis-ci/test_regset.config new file mode 100644 index 0000000..2589b5a --- /dev/null +++ b/tis-ci/test_regset.config @@ -0,0 +1,20 @@ +{ + "compilation_cmd": "-I ../tis-ci -I ../src -D alloca=__builtin_alloca", + "files": [ + "../test/test_regset.c", + "../tis-ci/stub.c", + "../src/regcomp.c", + "../src/regenc.c", + "../src/utf8.c", + "../src/regexec.c", + "../src/ascii.c", + "../src/regparse.c", + "../src/st.c", + "../src/regversion.c" + ], + "machdep": "gcc_x86_64", + "main": "main", + "name": "test_regset.c FULL", + "address-alignment": 65536, /* hexadecimal 0x10000 */ + "val-warn-undefined-pointer-comparison": "none" +} |