]> git.ipfire.org Git - thirdparty/pdns.git/commit
Merge pull request #1675 from cmouse/fail-if-ragel-needed
authorPeter van Dijk <peter@7bits.nl>
Fri, 22 Aug 2014 08:11:03 +0000 (10:11 +0200)
committerPeter van Dijk <peter@7bits.nl>
Fri, 22 Aug 2014 08:11:03 +0000 (10:11 +0200)
commitc84aff872d12f116736366e3bf29579d9df377f3
tree28e9fe70aea9267416828e1a91331faccaef4267
parentbecd68f1ec10aafb32c7457fea1db44d9c143bd0
parente3881b465539afb06891bf30781c3403f281786e
Merge pull request #1675 from cmouse/fail-if-ragel-needed

Check if ragel is missing but needed and fail