diff --git a/.travis.yml b/.travis.yml index 8285cd00d..5ffedee5e 100644 --- a/.travis.yml +++ b/.travis.yml @@ -78,6 +78,8 @@ script: - ./tools/test_showtimetop5.sh # check the files in cgf dir with xmllint - xmllint --noout cfg/* +# check matchcompiler + - ./tools/test_matchcompiler.py # check if Makefile needs to be regenerated - git clean -dfx - make dmake