diff options
Diffstat (limited to 'build')
| -rwxr-xr-x | build/creating_data/docker-images-collector.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/build/creating_data/docker-images-collector.sh b/build/creating_data/docker-images-collector.sh index e46a1bb9..a6b3c470 100755 --- a/build/creating_data/docker-images-collector.sh +++ b/build/creating_data/docker-images-collector.sh @@ -111,6 +111,7 @@ fi # Make all pushd "${PROJECT_DIR}/.." echo "Building project..." +export SKIP_LINT=TRUE make all > /dev/null; make ${PROJECT} > /dev/null popd |