Commit 7ee36a17 authored by Benjamin Deroche's avatar Benjamin Deroche

Make sure the new file erase the old one and don't get a different name

parent 947893e7
...@@ -17,7 +17,7 @@ fi ...@@ -17,7 +17,7 @@ fi
export FILENAME=$NDK_VERSION-$HOST_PLATFORM.zip export FILENAME=$NDK_VERSION-$HOST_PLATFORM.zip
(cd '/tmp' \ (cd '/tmp' \
&& wget http://dl.google.com/android/repository/$FILENAME \ && wget http://dl.google.com/android/repository/$FILENAME -O $FILENAME \
&& unzip -q $FILENAME) || exit 1 && unzip -q $FILENAME) || exit 1
unset FILENAME unset FILENAME
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment