diff options
Diffstat (limited to 'support/scripts')
| -rwxr-xr-x | support/scripts/pkg-stats | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/support/scripts/pkg-stats b/support/scripts/pkg-stats index cc3bef452c..421fa5cf5d 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 \ |
