OSDN Git Service

[update] : Supported kernel control for each channel.
authorhayao <shun819.mail@gmail.com>
Tue, 23 Jun 2020 10:41:55 +0000 (19:41 +0900)
committerhayao <shun819.mail@gmail.com>
Tue, 23 Jun 2020 10:41:55 +0000 (19:41 +0900)
build.sh

index 60a4199..dc43e7f 100755 (executable)
--- a/build.sh
+++ b/build.sh
@@ -1432,11 +1432,19 @@ if [[ -n "${1}" ]]; then
     _msg_debug "channel path is ${script_path}/channels/${channel_name}"
 fi
 
-# Check architecture for each channel
+# Check architecture and kernel for each channel
 if [[ ! "${channel_name}" = "rebuild" ]]; then
-    if [[ -z $(cat ${script_path}/channels/${channel_name}/architecture | grep -h -v ^'#' | grep -x "${arch}") ]]; then
+    # architecture
+    if [[ -z $(cat "${script_path}/channels/${channel_name}/architecture" | grep -h -v ^'#' | grep -x "${arch}") ]]; then
         _msg_error "${channel_name} channel does not support current architecture (${arch})." "1"
     fi
+
+    # kernel
+    if [[ -f "${script_path}/channels/${channel_name}/kernel_list-${arch}" ]]; then
+        if [[ -z $(cat "${script_path}/channels/${channel_name}/kernel_list-${arch}" | grep -h -v ^'#' | grep -x "${kernel}") ]]; then
+            _msg_error "This kernel is currently not supported on this channel." "1"
+        fi
+    fi
 fi