| 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 |
|
|