From 087b233ffd0b68e8cf23ab104d0b5ab94c7bd1cf Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Marjam=C3=A4ki?= <daniel.marjamaki@gmail.com>
Date: Thu, 11 Feb 2016 16:16:09 +0100
Subject: [PATCH] Daca2: don't skip flite anymore. Analysis without MAXTIME is
 still very slow.

---
 tools/daca2.py | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/tools/daca2.py b/tools/daca2.py
index 3ed7f932c..05e59326b 100644
--- a/tools/daca2.py
+++ b/tools/daca2.py
@@ -150,11 +150,10 @@ def scanarchive(filepath, jobs):
 # List of skipped packages - which trigger known yet unresolved problems with cppcheck.
 # The issues on trac (http://trac.cppcheck.net) are given for reference
 # boost #3654 (?)
-# flite #5975
 # insight#5184
 #
 
-    if filename[:5] == 'flite' or filename[:5] == 'boost' or filename[:7] == 'insight':
+    if filename[:5] == 'boost' or filename[:7] == 'insight':
         results = open('results.txt', 'at')
         results.write('fixme: skipped package to avoid hang\n')
         results.close()