[Android] build: check extra/tools make

[Thomas Guillem]

vlc-android | branch: 4.0 | Thomas Guillem <thomas at gllm.fr> | Tue Oct 23 14:38:28 2018 +0200| [72dd2a0285428134a291eb76b838bc8442ec36ed] | committer: Thomas Guillem

build: check extra/tools make

> https://code.videolan.org/videolan/vlc-android/commit/72dd2a0285428134a291eb76b838bc8442ec36ed
---

 compile-libvlc.sh | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compile-libvlc.sh b/compile-libvlc.sh
index 8398f1b72..93e7ed7eb 100755
--- a/compile-libvlc.sh
+++ b/compile-libvlc.sh
@@ -438,8 +438,9 @@ cd extras/tools
 ./bootstrap
 checkfail "buildsystem tools: bootstrap failed"
 make $MAKEFLAGS
+checkfail "buildsystem tools: make failed"
 make $MAKEFLAGS .gas
-checkfail "buildsystem tools: make"
+checkfail "buildsystem tools: make failed"
 cd ../..
 
 #############