From 958a4e40477d7d598b147e986d86d7080bebf223 Mon Sep 17 00:00:00 2001 From: Andrei Karas 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(+) (limited to 'tools') 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