From 2f529f9b558ca1c1bd74be7437a84e4711743404 Mon Sep 17 00:00:00 2001
From: hc <hc@nodka.com>
Date: Fri, 01 Nov 2024 02:11:33 +0000
Subject: [PATCH] add xenomai
---
kernel/scripts/mkcompile_h | 6 ++++--
1 files changed, 4 insertions(+), 2 deletions(-)
diff --git a/kernel/scripts/mkcompile_h b/kernel/scripts/mkcompile_h
index a72b154..5a34fe4 100755
--- a/kernel/scripts/mkcompile_h
+++ b/kernel/scripts/mkcompile_h
@@ -6,8 +6,9 @@
SMP=$3
PREEMPT=$4
PREEMPT_RT=$5
-CC_VERSION="$6"
-LD=$7
+IRQPIPE=$6
+CC_VERSION="$7"
+LD=$8
vecho() { [ "${quiet}" = "silent_" ] || echo "$@" ; }
@@ -45,6 +46,7 @@
if [ -n "$SMP" ] ; then CONFIG_FLAGS="SMP"; fi
if [ -n "$PREEMPT" ] ; then CONFIG_FLAGS="$CONFIG_FLAGS PREEMPT"; fi
if [ -n "$PREEMPT_RT" ] ; then CONFIG_FLAGS="$CONFIG_FLAGS PREEMPT_RT"; fi
+if [ -n "$IRQPIPE" ] ; then CONFIG_FLAGS="$CONFIG_FLAGS IRQPIPE"; fi
# Truncate to maximum length
UTS_LEN=64
--
Gitblit v1.6.2