function detect_platform_type () {
local -r canon_name="canon-name/src/canon-name"
- if [[ ! -x "$canon_name" ]]; then
- gmake -f mk/canon-name.mk
+ if ! gmake --question --file="mk/canon-name.mk" >/dev/null 2>&1; then
+ gmake --file="mk/canon-name.mk" >&2
fi
"$canon_name"
local -r platform=$(detect_platform_type)
case "$platform" in
- *-*-darwin)
+ *-*-darwin*)
ioreg -r -c IOCPU | fgrep -c \"IOCPUNumber\"
;;
*-*-netbsd*)