824 |
provided by commercial Unix vendors, GNU \texttt{make} (sometimes |
provided by commercial Unix vendors, GNU \texttt{make} (sometimes |
825 |
called \texttt{gmake}) should be preferred. This option provides a |
called \texttt{gmake}) should be preferred. This option provides a |
826 |
means for specifying the make executable to be used. |
means for specifying the make executable to be used. |
827 |
|
|
828 |
|
\item[\texttt{--bash=/path/to/sh}] On some (usually older UNIX) |
829 |
|
machines, the ``bash'' shell is unavailable. To run on these |
830 |
|
systems, \texttt{genmake2} can be invoked using an ``sh'' (that is, |
831 |
|
a Bourne, POSIX, or compatible) shell. The syntax in these |
832 |
|
circumstances is: |
833 |
|
\begin{center} |
834 |
|
\texttt{/bin/sh genmake2 -bash=/bin/sh [...options...]} |
835 |
|
\end{center} |
836 |
|
where \texttt{/bin/sh} can be replaced with the full path and name |
837 |
|
of the desired shell. |
838 |
|
|
839 |
\end{description} |
\end{description} |
840 |
|
|