diff Makefile @ 11:7d337b6fb379

fix get_kernel_name, correct get kernel name from options
author taiki
date Sun, 30 Mar 2014 19:15:20 +0900
parents 3b3650b792e3
children 56e8a3d49069
line wrap: on
line diff