Crea Android JB para maguro desde la fuente

Quiero build Android JB para Galaxy Nexus desde la fuente. Cuando ejecuto el lunch y selecciono el maguro , veo lo siguiente:

 PLATFORM_VERSION_CODENAME=AOSP PLATFORM_VERSION=4.0.9.99.999.9999.99999 TARGET_PRODUCT=full_maguro TARGET_BUILD_VARIANT=userdebug TARGET_BUILD_TYPE=release TARGET_BUILD_APPS= TARGET_ARCH=arm TARGET_ARCH_VARIANT=armv7-a-neon HOST_ARCH=x86 HOST_OS=linux HOST_OS_EXTRA=Linux-3.2.0-30-generic-x86_64-with-Ubuntu-12.04-precise HOST_BUILD_TYPE=release BUILD_ID=OPENMASTER OUT_DIR=out 

Por lo tanto, creo que PLATFORM_VERSION es ICS.

AFAIK. Revisé maestro . https://android.googlesource.com/platform/manifest si abro maestro aquí, no puedo entender qué versión de plataforma es. ¿Cómo encuentro la versión de la plataforma en la twig principal ?

En el file build/core/version_defaults.mk de su fuente si PLATFORM_SDK_VERSION es 16, entonces es Jellybean.

Una comprobación adicional sería comparar current.txt que se crea en el directory de salida después de comstackr en frameworks/base/api/16.txt . Para que las API públicas construidas sean iguales a 16

Editar: ¿El file version_defaults.mk también tiene PLATFORM_VERSION: = 4.1.1?