[gps-users] Specifying which make command to use

[Mark Gjøl]

--Nq2Wo0NMKNjxTN9z
Content-Type: text/plain; charset=iso-8859-1
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable

Hi, I've just installed GPS on a SUN SPARC station running Solaris, and
I'd like to change the command for making files from make to gmake
(since make is the SUN make which behaves differently from the GNU
make). I couldn't find any info on this on the homepage and I can't
find out how to change it in GPS itself... How is this done?

Regards,=20
--=20
// Mark Gj=F8l
I find the whole business of religion profoundly interesting. But it does m=
ystify me that otherwise intelligent people take it seriously.
 - Douglas Adams
-- http://b0rken.dk

--Nq2Wo0NMKNjxTN9z
Content-Type: application/pgp-signature; name="signature.asc"
Content-Description: Digital signature
Content-Disposition: inline

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.2.4 (GNU/Linux)

iD8DBQFAYq3uTh0Mus0FOi0RApEcAJ0bMjHSrGfUoF6zWSET7rlc93pgAgCdFEMi
ORo2WfONSGzOePGOR1gwDbY=
=KgYv
-----END PGP SIGNATURE-----

--Nq2Wo0NMKNjxTN9z--