android build failure: `./syscfg/lock-obj-pub.linux-androideabi.h': No such file or directory

[Hans-Christoph Steiner]

This is from the jenkins build process, building everything from the HEAD of
master.  Full build log is attached.

rm _mkerrcodes.h
cc -I. -I. -o mkerrcodes ./mkerrcodes.c
./mkerrcodes | gawk -f ./mkerrcodes2.awk >code-from-errno.h
gawk -f ./mkstrtable.awk -v textidx=2 -v nogettext=1 \
		./err-sources.h.in >err-sources-sym.h
gawk -f ./mkstrtable.awk -v textidx=2 -v nogettext=1 \
		./err-codes.h.in >err-codes-sym.h
gawk -f ./mkstrtable.awk -v textidx=2 -v nogettext=1 \
		-v prefix=GPG_ERR_ -v namespace=errnos_ \
		./errnos.in >errnos-sym.h
cc -g -O0 -I. -I. -o mkheader ./mkheader.c
rm lock-obj-pub.native.h 2>/dev/null
make[3]: [gpg-error.h] Error 1 (ignored)
./mkheader linux-androideabi arm-unknown-linux-androideabi  ./gpg-error.h.in \
                   1.13-beta16 0x010d00 >gpg-error.h
./gpg-error.h.in:289: error including
`./syscfg/lock-obj-pub.linux-androideabi.h': No such file or directory
make[3]: *** [gpg-error.h] Error 1
make[3]: Leaving directory
`/var/lib/jenkins/workspace/gnupg-for-android-git-master/external/libgpg-error/src'
make[2]: *** [all-recursive] Error 1
make[2]: Leaving directory
`/var/lib/jenkins/workspace/gnupg-for-android-git-master/external/libgpg-error'
make[1]: *** [all] Error 2
make[1]: Leaving directory
`/var/lib/jenkins/workspace/gnupg-for-android-git-master/external/libgpg-error'
make: *** [libgpg-error/src/.libs/libgpg-error.so] Error 2
make: Leaving directory
`/var/lib/jenkins/workspace/gnupg-for-android-git-master/external'



-- 
PGP fingerprint: 5E61 C878 0F86 295C E17D  8677 9F0F E587 374B BE81
-------------- next part --------------
A non-text attachment was scrubbed...
Name: gnupg-master-android-build-failure-log.txt.bz2
Type: application/x-bzip
Size: 6260 bytes
Desc: not available
URL: </pipermail/attachments/20140124/bff38304/attachment.bin>