f9micro/f9-kernel — pull request #38 by vh21 (2013-08-11 10:16:00+00:00)
Title: kconfig: add *.c_shipped back

Fix build error reported in issue#37:
PREPARE build/host/mconf
CONFIG build/host/mconf
gcc: build/host/zconf.tab.c: No such file or directory
gcc: no input files