James Zern ef7f33b93b configure: echo --(disable|enable)-* cmdline options
gives a better summary of what is enabled / disabled outside of the
automatic toolchain options.

fixes issue #936

Change-Id: I1bf27593a5512713aab1473cb606c58cf3084d62
2015-01-28 20:30:51 -08:00
..
2014-11-06 16:00:01 -08:00
2013-11-14 12:05:59 -08:00
2015-01-22 15:19:07 -08:00
2014-11-06 16:00:01 -08:00
2014-12-15 18:39:51 -08:00