#!/bin/bash
# dev/tool/make - make tool support

set -e


######
# Native Dependencies

dev_tool_make_client_packages=( make )


######
# Library Configuration

dev_tool_make_config_init() {
	lib_setting_vars --null make_jobs
}


######
# Public Interface

make_run() {
	local -a opts=()
	! $quiet || opts+=( --quiet )
	[ -z "$make_jobs" ] || opts+=( -j $make_jobs )
	run make "${opts[@]}" "$@"
}