Download:
Patch
child 139:8155ebf7d128
parent 137:51ea3bbb687a
138:0e226445b215
Anton Shestakov <av6@dwimlabs.net>, Wed, 13 Jul 2016 16:54:30 +0800
checker: actually, let's just redirect docker-build stdout to stderr instead
1 файлов изменено, 1 вставок(+), 1 удалений(-) [+]
check-in-docker.sh file | annotate | diff | comparison | revisions 
--- a/check-in-docker.sh	Wed Jul 13 16:34:30 2016 +0800
+++ b/check-in-docker.sh	Wed Jul 13 16:54:30 2016 +0800
@@ -4,7 +4,7 @@
 (
     cat dockerfiles/ubuntu-xenial
     echo 'WORKDIR /mnt'
-) | docker build --tag candolint-checker - > /dev/null
+) | docker build --tag candolint-checker - 1>&2
 
 docker run --rm -u worker -v "$PWD":/mnt:ro candolint-checker \
     python -u checker.py "$@" 2>&1