#!/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 make_jobs

	dev_tool_make_config_check
}

dev_tool_make_config_check() {
	make_jobs=${make_jobs:-6}
}


######
# Public Interface

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