Build tree for "splint" on toolchain "android"