Remove obsolete #include <linux/config.h>
[linux-3.10.git] / arch / cris / arch-v10 / boot / tools /
drwxr-xr-x ..
-rw-r--r-- build.c