aboutsummaryrefslogtreecommitdiff
path: root/linux/linux-ext-xenomai.mk
diff options
context:
space:
mode:
authorGravatar Ricardo Martincoski <ricardo.martincoski@gmail.com>2018-04-01 02:08:22 -0300
committerGravatar Thomas Petazzoni <thomas.petazzoni@bootlin.com>2018-04-01 08:43:07 +0200
commit50e64863e17df73668bf265c4a6ee11626f1217d (patch)
tree637ff6200f3e0765453180a6e895d269bc1841cd /linux/linux-ext-xenomai.mk
parent65e37439450808f0a18c4f45dafe4b915c23aa63 (diff)
downloadbuildroot-50e64863e17df73668bf265c4a6ee11626f1217d.tar.gz
buildroot-50e64863e17df73668bf265c4a6ee11626f1217d.tar.bz2
linux/linux-ext-*.mk: fit file header into one line
Make it follow the package coding style by removing redundant info. Signed-off-by: Ricardo Martincoski <ricardo.martincoski@gmail.com> Cc: Christian Stewart <christian@paral.in> Cc: David Lechner <david@lechnology.com> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
Diffstat (limited to 'linux/linux-ext-xenomai.mk')
-rw-r--r--linux/linux-ext-xenomai.mk4
1 files changed, 2 insertions, 2 deletions
diff --git a/linux/linux-ext-xenomai.mk b/linux/linux-ext-xenomai.mk
index 76a9786e4d..d066bb32ac 100644
--- a/linux/linux-ext-xenomai.mk
+++ b/linux/linux-ext-xenomai.mk
@@ -1,7 +1,7 @@
################################################################################
-# Linux Adeos/Xenomai extensions
#
-# Patch the linux kernel with xenomai extension
+# Patch the linux kernel with Adeos/Xenomai extension
+#
################################################################################
LINUX_EXTENSIONS += xenomai