Merge "Remove old lint from PRODUCT_PACKAGES" am: 0351c780db am: 7981a8e49e am: ef49321909 am: dd835701bc

Original change: https://android-review.googlesource.com/c/device/generic/armv7-a-neon/+/1620662

MUST ONLY BE SUBMITTED BY AUTOMERGER

Change-Id: Icf4e67db73cbf8fd3c450d78dd26e4f94794a5a7
diff --git a/mini_common.mk b/mini_common.mk
index d71f814..ca653af 100644
--- a/mini_common.mk
+++ b/mini_common.mk
@@ -55,7 +55,6 @@
     libvideoeditor_osal \
     libvideoeditorplayer \
     libvideoeditor_videofilters \
-    lint \
     local_time.default \
     network \
     pand \