Module Name: src Committed By: mrg Date: Tue Aug 22 08:21:36 UTC 2017
Modified Files:
src/lib: Makefile
Log Message:
don't build gmp/mpfr/mpc if we're not building GCC commands (MKGCCCMDS==no.)
To generate a diff of this commit:
cvs rdiff -u -r1.251 -r1.252 src/lib/Makefile
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
