summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xbuild/creating_data/docker-images-collector.sh1
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