8567: Rename docker19-migrate to migrate-docker19 for consistency with

[arvados.git] / docker / docker19-migrate / build.sh

diff --git a/docker/docker19-migrate/build.sh b/docker/docker19-migrate/build.sh
deleted file mode 100755 (executable)
index e6dc998..0000000
--- a/docker/docker19-migrate/build.sh
+++ /dev/null
@@ -1,2 +0,0 @@
-#!/bin/sh
-exec docker build -t arvados/docker19-migrate .