diff options
| author | Andrei Karas <akaras@inbox.ru> | 2016-04-23 18:08:53 +0300 |
|---|---|---|
| committer | Andrei Karas <akaras@inbox.ru> | 2016-04-23 18:08:53 +0300 |
| commit | 958a4e40477d7d598b147e986d86d7080bebf223 (patch) | |
| tree | c607ef6f52a299a4db1ee4067d5c854afbc30579 /tools/ci/jobs/mplint.sh | |
| parent | 5faa2580c3930e7105b3de7d6e03d83ad9e0c921 (diff) | |
| download | plus-958a4e40477d7d598b147e986d86d7080bebf223.tar.gz plus-958a4e40477d7d598b147e986d86d7080bebf223.tar.bz2 plus-958a4e40477d7d598b147e986d86d7080bebf223.tar.xz plus-958a4e40477d7d598b147e986d86d7080bebf223.zip | |
Add workaround for mplint ci test.
Diffstat (limited to 'tools/ci/jobs/mplint.sh')
| -rwxr-xr-x | tools/ci/jobs/mplint.sh | 1 |
1 files changed, 1 insertions, 0 deletions
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 |