From 958a4e40477d7d598b147e986d86d7080bebf223 Mon Sep 17 00:00:00 2001
From: Andrei Karas <akaras@inbox.ru>
Date: Sat, 23 Apr 2016 18:08:53 +0300
Subject: Add workaround for mplint ci test.

---
 tools/ci/jobs/mplint.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/ci/jobs/mplint.sh b/tools/ci/jobs/mplint.sh
index 918417db1..da824c985 100755
--- a/tools/ci/jobs/mplint.sh
+++ b/tools/ci/jobs/mplint.sh
@@ -18,6 +18,7 @@ cd mplint
 run_configure_simple
 run_make
 cd ..
+echo " " >config.h
 run_mplint $*
 
 source ./tools/ci/scripts/exit.sh
-- 
cgit v1.2.3-70-g09d2