projects / arvados.git / blob
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
10218: Merge branch 'master' into 10218-record-node-info
[arvados.git] / docker / migrate-docker19 / build.sh
1 #!/bin/sh
2 exec docker build -t arvados/migrate-docker19 .