diff options
Diffstat (limited to 'tools/sparse/Makefile')
| -rw-r--r-- | tools/sparse/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/sparse/Makefile b/tools/sparse/Makefile index d5cc8460b7..f365809041 100644 --- a/tools/sparse/Makefile +++ b/tools/sparse/Makefile @@ -13,6 +13,7 @@ PKG_SOURCE_VERSION:=40791b94c56b1a6da2a0ddeb1f9d5c9d64de8f93 PKG_SOURCE_SUBDIR:=$(PKG_NAME)-$(PKG_VERSION) PKG_SOURCE:=$(PKG_NAME)-$(PKG_VERSION).tar.xz +PKG_MIRROR_HASH:=95dc331f100847e619a3c9a2183439c5c89e6ea7b5e2ef73362b5c7a5ef1a3f5 PKG_BUILD_PARALLEL:=1 |