check_contrib: only make given targets.
authorJean Privat <jean@pryen.org>
Wed, 16 Sep 2015 13:09:44 +0000 (09:09 -0400)
committerJean Privat <jean@pryen.org>
Wed, 16 Sep 2015 13:09:44 +0000 (09:09 -0400)
commit7bdcd6ea3a49e3fdba544295ae67e5060d8d650e
tree2d254b04bdce721d7df2e3714751d5c016a5416c
parent4692dd667bf5c767b0796dce047aecf6e1a634c6
check_contrib: only make given targets.

So this avoid doing a full desktop build only when a specific build is required (eg. android-release)

A special case is made for `all` that falls back as the default,

Signed-off-by: Jean Privat <jean@pryen.org>
misc/jenkins/check_contrib.sh