create a platform config-* file if there is none already when running kernel_menuconf...
[openwrt/svn-archive/archive.git] / toolchain / kernel-headers /
drwxr-xr-x   ..
-rw-r--r-- 1708 Makefile