christos 40d9145b70 PR/51015: David Binderman: remove useless code		2016-03-30 21:14:54 +00:00
..
bootinfo	…
ofwboot	PR/51015: David Binderman: remove useless code	2016-03-30 21:14:54 +00:00
Makefile	…
Makefile.inc	Put GCC/GAS specific options under ACTIVE_CC == "gcc".	2014-08-10 17:44:26 +00:00