From 1a4022ccef096c4a8482b551530158b7ef4aa81f Mon Sep 17 00:00:00 2001 From: Pascal Vizeli Date: Wed, 15 Mar 2017 09:06:02 +0100 Subject: [PATCH] Fix build script --- build-scripts/yocto-build-env/create_build_env.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) mode change 100644 => 100755 build-scripts/yocto-build-env/create_build_env.sh diff --git a/build-scripts/yocto-build-env/create_build_env.sh b/build-scripts/yocto-build-env/create_build_env.sh old mode 100644 new mode 100755 index 37ae2d581..ed5de629f --- a/build-scripts/yocto-build-env/create_build_env.sh +++ b/build-scripts/yocto-build-env/create_build_env.sh @@ -24,7 +24,7 @@ docker build --pull --tag ${DOCKER_REPO}/${DOCKER_IMAGE}:${REVISION} -f ${SCRIPT # Tag docker tag ${DOCKER_REPO}/${DOCKER_IMAGE}:${REVISION} ${DOCKER_REPO}/${DOCKER_IMAGE}:latest -if [${REVISION} -ne "NONE"]; then +if [ ${REVISION} != "NONE" ]; then # push docker push ${DOCKER_REPO}/${DOCKER_IMAGE}:${REVISION} docker push ${DOCKER_REPO}/${DOCKER_IMAGE}:latest