[boost] Building Boost libs on Scratchbox/ARM

I needed some small patches for building the Boost libs on a Debian-based system which is using GCC 3.4.4 toolchain (CodeSourcery ARM 2005q3-2). Target devices are Nokia Internet Tablets. See attached patches. Q: To optimize for the target CPU, I added the following line to tools/build/v2/user-config.jam using gcc : : : <compileflags>-mcpu=arm1136jf-s <compileflags>-mfpu=vfp <compileflags>-mhard-float <compileflags>-mfloat-abi=softfp ; However, when building I only see gcc.compile.c++ as compile command. How do I know if the options are actually used? Thx, tgo