diff options
author | est31 <MTest31@outlook.com> | 2015-07-31 05:52:34 +0200 |
---|---|---|
committer | est31 <MTest31@outlook.com> | 2015-07-31 10:12:20 +0200 |
commit | e29b61ecd4e8fb3cd4f84cff0e830b49993cbf50 (patch) | |
tree | f2b5bfe9a89affcca7c0cc1913cd6b4bdbb4ba82 /src/util/thread.h | |
parent | 7217fd32eb8af01d3012a2ed883598c6a9fbf78e (diff) | |
download | minetest-e29b61ecd4e8fb3cd4f84cff0e830b49993cbf50.tar.gz minetest-e29b61ecd4e8fb3cd4f84cff0e830b49993cbf50.tar.bz2 minetest-e29b61ecd4e8fb3cd4f84cff0e830b49993cbf50.zip |
Android: speed up rebuild, and prevent race condition fail
Speeding up rebuild:
Before, we've written the android_version.h file at every rebuild.
As it thought the file's content has changed, make has rebuilt files
in the source tree that depended on that header file during rebuild,
causing lots of files being rebuilt without there being a reason.
The reasoning of make can be observed by passing -d and V=1 params
to the ndk-build command. You then got logging entries like:
Prerequisite `jni/src/android_version.h' is newer than target `obj/local/armeabi-v7a-hard/objs-debug/minetest/jni/src/areastore.o'.
Preventing race condition build fail:
Before, there was a race condition, where, if the prep_srcdir target
was executed in parallel with the $(ROOT)/jni/src/android_version.h
one, it could happen that the jni/src directory was nonexistent, and
we were trying to write into a file inside. This resulted in a build
failue:
/bin/sh: 1: cannot create [...]/jni/src/android_version.h: Directory nonexistent
Additionally, we now don't remove the link to src/ needlessly anymore.
Keeping this wouldn't have affected the rebuild, but this way its
more proper.
Diffstat (limited to 'src/util/thread.h')
0 files changed, 0 insertions, 0 deletions