diff options
Diffstat (limited to 'build-scripts/helpers')
| -rw-r--r-- | build-scripts/helpers | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/build-scripts/helpers b/build-scripts/helpers new file mode 100644 index 0000000..3942a73 --- /dev/null +++ b/build-scripts/helpers @@ -0,0 +1,15 @@ +repo-sync-from-mirror () { + EABI="${EABI-arm-eabi}" + MANIFEST_REPO="${MANIFEST_REPO-git://http://android.git.kernel.org/platform/manifest.git}" + MANIFEST_BRANCH="${MANIFEST_BRANCH-master}" + MANIFEST_FILENAME="${MANIFEST_FILENAME-default.xml}" + + repo init -u "${MANIFEST_REPO}" -b "${MANIFEST_BRANCH}" -m "${MANIFEST_FILENAME}" + + time python -c 'import xmlrpclib, sys; print xmlrpclib.ServerProxy(sys.argv[1]).mirror(open(".repo/manifest.xml").read())' "http://${1}:8080" > temp-manifest.xml + echo "Received modified manifest" + cat temp-manifest.xml + echo ---------------------------- + mv temp-manifest.xml .repo/manifest.xml + repo sync -j8 +}
\ No newline at end of file |