docker_build.sh

1#!/bin/sh
2
3./util/docker_cmd.sh make "$@"