travis: Use docker scripts

[petitboot] / docker / builder-include

diff --git a/docker/builder-include b/docker/builder-include
index 4f42e2c6e7bbc458d701d2c95310631a32ba3c7d..585be2656df636a49b03f08d629e65d73662e431 100644 (file)
--- a/docker/builder-include
+++ b/docker/builder-include
@@ -25,6 +25,7 @@ docker_from() {
        case "${a}" in
                amd64) echo "ubuntu:17.10" ;;
                arm64) echo "arm64v8/ubuntu:17.10" ;;
+               ppc64le) echo "ppc64le/ubuntu:17.10" ;;
                *)
                        echo "${name}: ERROR: Unknown arch ${a}" >&2
                        exit 1