diff options
author | Joey Hess <joey@kitenet.net> | 2013-02-22 15:03:12 -0400 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2013-02-22 15:03:12 -0400 |
commit | 9bf5cb3bd84fe64c7c235156b851e275bf7006ee (patch) | |
tree | 6b59e764a7f8c9d537a52c110b94601f9224ca19 /standalone/android/Makefile | |
parent | c995ec63547aa976cfcfd8890b23e461e0773f16 (diff) |
make upgrades work
Add a lib.version.so and when it's different, re-install.
Diffstat (limited to 'standalone/android/Makefile')
-rw-r--r-- | standalone/android/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/standalone/android/Makefile b/standalone/android/Makefile index e6ed1e992..0637dd293 100644 --- a/standalone/android/Makefile +++ b/standalone/android/Makefile @@ -59,6 +59,8 @@ build: source build-utils cd $(GITTREE) && find -type f -not -samefile bin/git -not -samefile bin/git-shell -not -samefile bin/git-upload-pack|tar czf ../git.tar.gz -T - cp source/git/git.tar.gz source/term/libs/armeabi/lib.git.tar.gz.so + git rev-parse HEAD > source/term/libs/armeabi/lib.version.so + cd source/term && ant debug build-utils: source |