Commit a68f1900 authored Jul 12, 2019 by nimrod

Don't output the filename in dockerfile-lint.

dockerfile_lint shows the filename clearly, there's no need to output
the filename again (it shows up at the end of the output, very
confusing).

parent 49f6cc0f

dockerfile-lint

+1 −1

Changes for dockerfile-lint: 1 added line, 1 removed line.
Original line number	Diff line number	Diff line
		#!/bin/sh
		set -eu

		echo "$@" \| xargs -rtn1 dockerfile_lint --dockerfile
		echo "$@" \| xargs -rn1 dockerfile_lint --dockerfile