Deduplicate Android docker image version number.

SimonSapin · SimonSapin · commit 0240ec7ce870 · 2015-11-25T10:21:35.000+01:00
diff --git a/.travis.yml b/.travis.yml
@@ -9,7 +9,7 @@ services:
   - docker
 before_script:
   - if [ "$TARGET" = "arm-linux-androideabi" ]; then
-      travis_wait docker pull alexcrichton/rust-slave-android:2015-11-22;
+      travis_wait docker pull $(cat android-docker-image);
     fi
 
 script:
diff --git a/android-docker-image b/android-docker-image
@@ -0,0 +1 @@
+alexcrichton/rust-slave-android:2015-11-22
diff --git a/ci/run-travis.sh b/ci/run-travis.sh
@@ -61,7 +61,7 @@ exec sh ci/run.sh $TARGET
       -v $HOME/rust:/usr/local:ro \
       -v `pwd`:/checkout:ro \
       -e LD_LIBRARY_PATH=/usr/local/lib \
-      -it alexcrichton/rust-slave-android:2015-11-22 \
+      -it $(cat android-docker-image) \
       -c "$script"
     ;;
 

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+alexcrichton/rust-slave-android:2015-11-22`