diff options
| author | Jan Vcelak <jan.vcelak@nic.cz> | 2014-04-15 10:26:47 +0200 |
|---|---|---|
| committer | Jan Vcelak <jan.vcelak@nic.cz> | 2014-04-15 12:44:30 +0200 |
| commit | bab91d9ac83dc7b776016cf015ebea31f9e79fa3 (patch) | |
| tree | 2cca9b4b7b571415010b55954014e03267aebdc2 /Makefile.am | |
| parent | configure: add --with-ragel option (diff) | |
| download | knot-bab91d9ac83dc7b776016cf015ebea31f9e79fa3.tar.xz knot-bab91d9ac83dc7b776016cf015ebea31f9e79fa3.zip | |
disable ragel in make distcheck
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index df761b9b6..43c53a9b2 100644 --- a/Makefile.am +++ b/Makefile.am @@ -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 |