From bab91d9ac83dc7b776016cf015ebea31f9e79fa3 Mon Sep 17 00:00:00 2001
From: Jan Vcelak <jan.vcelak@nic.cz>
Date: Tue, 15 Apr 2014 10:26:47 +0200
Subject: [PATCH] disable ragel in make distcheck

---
 Makefile.am | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.am b/Makefile.am
index df761b9b60..43c53a9b2b 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
-- 
GitLab