mirror of https://github.com/docker/cli.git
Fix check-git-diff so that it fails on CI
Signed-off-by: Daniel Nephin <dnephin@docker.com>
This commit is contained in:
parent
51b00f966e
commit
f75a44ffd8
|
@ -45,6 +45,7 @@ jobs:
|
||||||
if [ "$CIRCLE_NODE_INDEX" != "3" ]; then exit; fi
|
if [ "$CIRCLE_NODE_INDEX" != "3" ]; then exit; fi
|
||||||
dockerfile=dockerfiles/Dockerfile.dev
|
dockerfile=dockerfiles/Dockerfile.dev
|
||||||
echo "COPY . ." >> $dockerfile
|
echo "COPY . ." >> $dockerfile
|
||||||
|
rm -f .dockerignore # include .git
|
||||||
docker build -f $dockerfile --tag cli-builder .
|
docker build -f $dockerfile --tag cli-builder .
|
||||||
docker run cli-builder make -B vendor compose-jsonschema
|
docker run cli-builder make -B vendor compose-jsonschema
|
||||||
|
|
||||||
|
|
|
@ -3,12 +3,13 @@
|
||||||
set -eu
|
set -eu
|
||||||
|
|
||||||
DIFF_PATH=$1
|
DIFF_PATH=$1
|
||||||
|
DIFF=$(git status --porcelain -- $DIFF_PATH)
|
||||||
|
|
||||||
if [ "`git status --porcelain -- $DIFF_PATH 2>/dev/null`" ]; then
|
if [ "$DIFF" ]; then
|
||||||
echo
|
echo
|
||||||
echo "These files were changed:"
|
echo "These files were changed:"
|
||||||
echo
|
echo
|
||||||
git status --porcelain -- $DIFF_PATH 2>/dev/null
|
echo $DIFF
|
||||||
echo
|
echo
|
||||||
exit 1
|
exit 1
|
||||||
else
|
else
|
||||||
|
|
Loading…
Reference in New Issue