[Android] Update libVLC HASH

[Thomas Guillem]

vlc-ports/android | branch: master | Thomas Guillem <thomas at gllm.fr> | Wed May 20 16:12:22 2015 +0200| [a1f03f299b6faf16108a1e64b2fc61d6a8db80bd] | committer: Thomas Guillem

Update libVLC HASH

> http://git.videolan.org/gitweb.cgi/vlc-ports/android.git/?a=commit;h=a1f03f299b6faf16108a1e64b2fc61d6a8db80bd
---

 compile.sh |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/compile.sh b/compile.sh
index cf60d22..832e910 100755
--- a/compile.sh
+++ b/compile.sh
@@ -131,7 +131,7 @@ fi
 # Fetch VLC source #
 ####################
 
-TESTED_HASH=0c8ef54
+TESTED_HASH=712cbd4
 if [ ! -d "vlc" ]; then
     echo "VLC source not found, cloning"
     git clone git://git.videolan.org/vlc.git vlc