The Make utility is a wrapper for the make(1) command. It
determines the machine's operating system type and executes make with
specific SCore build options.
Make is used by Hmake(1).
The options available for Make:
- make_options
-
command options are passed, as is, to make(1)