#!/bin/bash
# runs make, hiding verbose messages about making included Makefiles
# usage: bin/make target...
. "$(dirname "$(readlink -f "${BASH_SOURCE[0]}")")"/../lib/sh/local.sh
sync_upload "$@"