Steven Shiau 54395accc7 Use the Linux kernel name got from "binary". ... Use the Linux kernel name "${LINUX}" got from "binary".		2024-11-08 08:13:36 +08:00
..
build	Use the Linux kernel name got from "binary".	2024-11-08 08:13:36 +08:00
build.sh	move auto colouring decision	2020-03-23 08:06:51 +00:00