#!/bin/sh

./util/docker_cmd.sh make "$@"