Fix filename for generated p2 repository

Change-Id: I0bc2ae9690707432fd83a46e9b6e6eb9009f97aa
diff --git a/eclipse/scripts/build_adt.sh b/eclipse/scripts/build_adt.sh
index 2e3b1c2..d668aad 100755
--- a/eclipse/scripts/build_adt.sh
+++ b/eclipse/scripts/build_adt.sh
@@ -49,4 +49,4 @@
 cd "$ANDROID_SRC"
 cp -rv out/host/maven/bundles-*/products/*.gz "$DIST"/
 cp -rv out/host/maven/bundles-*/products/*.zip "$DIST"/
-cp -rv out/host/maven/p2repo-*/p2repo-*.zip "$DIST"/
+cp -rv out/host/maven/p2repo-*/p2repo-*.zip "$DIST"/p2repo-$BNUM.zip