Project

General

Profile

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