diff --git a/tools/build b/tools/build-docker
similarity index 100%
rename from tools/build
rename to tools/build-docker