Skip to content
Snippets Groups Projects
Commit bab91d9a authored by Jan Včelák's avatar Jan Včelák :rocket:
Browse files

disable ragel in make distcheck

parent 936e3e40
Branches
Tags
No related merge requests found
......@@ -70,6 +70,6 @@ code-coverage-clean:
-find . -name "*.gcda" -o -name "*.gcov" -delete
endif
DISTCHECK_CONFIGURE_FLAGS = --disable-code-coverage
DISTCHECK_CONFIGURE_FLAGS = --without-ragel --disable-code-coverage
.PHONY: check-code-coverage code-coverage-initial code-coverage-capture code-coverage-html code-coverage-clean
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment