Move dindctl to the base of the repository

This makes it easier to use, as it's meant to be used constantly when developing. No need to change PATH
or type `./tools/dev/dindctl`, just run `./dindctl` now.

Change-Type: patch
Signed-off-by: Pablo Carranza Velez <pablo@resin.io>
This commit is contained in:
Pablo Carranza Velez 2017-07-14 14:19:33 -03:00
parent 29de3ceeb2
commit 8dfc559126
2 changed files with 2 additions and 1 deletions

View File

@ -3,4 +3,5 @@
node_modules node_modules
.editorconfig .editorconfig
tools tools
dindctl
README.md README.md

View File

@ -37,7 +37,7 @@ set -o errexit
set -o pipefail set -o pipefail
DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
SUPERVISOR_BASE_DIR="${DIR}/../.." SUPERVISOR_BASE_DIR="${DIR}"
ARCH="amd64" ARCH="amd64"
SUPERVISOR_IMAGE="resin/${ARCH}-supervisor:master" SUPERVISOR_IMAGE="resin/${ARCH}-supervisor:master"