summaryrefslogtreecommitdiff
path: root/support
diff options
context:
space:
mode:
authorDavid Lechner <david@lechnology.com>2016-11-01 22:15:55 -0500
committerThomas Petazzoni <thomas.petazzoni@free-electrons.com>2016-11-02 17:52:24 +0100
commit7d4a2f2ca43eb6b925cdf5b6b15d48ac49ee96af (patch)
tree03a01c0b2423738e409dda76082fb2e6dd6740a4 /support
parentc846d2e21133441e92b1ee3b98f2fc013a01db16 (diff)
linux: add ev3dev extension
This adds an ev3dev Linux drivers extension that provides Linux kernel drivers for LEGO MINDSTORMS EV3 from the ev3dev project. Signed-off-by: David Lechner <david@lechnology.com> Signed-off-by: Thomas Petazzoni <thomas.petazzoni@free-electrons.com>
Diffstat (limited to 'support')
-rwxr-xr-xsupport/scripts/pkg-stats1
1 files changed, 1 insertions, 0 deletions
diff --git a/support/scripts/pkg-stats b/support/scripts/pkg-stats
index cc3bef452..421fa5cf5 100755
--- a/support/scripts/pkg-stats
+++ b/support/scripts/pkg-stats
@@ -94,6 +94,7 @@ for i in $(find boot/ linux/ package/ -name '*.mk' | sort) ; do
if test \
$i = "boot/common.mk" -o \
+ $i = "linux/linux-ext-ev3dev-linux-drivers.mk" -o \
$i = "linux/linux-ext-fbtft.mk" -o \
$i = "linux/linux-ext-xenomai.mk" -o \
$i = "linux/linux-ext-rtai.mk" -o \