buildgcc: Do not download GDB source code if run with --skip-gdb
[coreboot.git] / util / dumpmmcr /
2010-09-26 Stefan Reinauerthe utility is called dumpmmcr, not dump_mmcr