/* Generated automatically. */
static const char configuration_arguments[] = "/scratch/jwlemke/2011.09-arm-eabi-lite/src/gcc-4.6-2011.09/configure --build=i686-pc-linux-gnu --host=i686-pc-linux-gnu --target=arm-none-eabi --enable-threads --disable-libmudflap --disable-libssp --disable-libstdcxx-pch --enable-extra-sgxxlite-multilibs --with-gnu-as --with-gnu-ld --with-specs='%{save-temps: -fverbose-asm} -D__CS_SOURCERYGXX_MAJ__=2011 -D__CS_SOURCERYGXX_MIN__=9 -D__CS_SOURCERYGXX_REV__=69 %{O2:%{!fno-remove-local-statics: -fremove-local-statics}} %{O*:%{O|O0|O1|O2|Os:;:%{!fno-remove-local-statics: -fremove-local-statics}}}' --enable-languages=c,c++ --disable-shared --enable-lto --with-newlib --with-pkgversion='Sourcery CodeBench Lite 2011.09-69' --with-bugurl=https://support.codesourcery.com/GNUToolchain/ --disable-nls --prefix=/opt/codesourcery --with-headers=yes --with-sysroot=/opt/codesourcery/arm-none-eabi --with-build-sysroot=/scratch/jwlemke/2011.09-arm-eabi-lite/install/arm-none-eabi --with-gmp=/scratch/jwlemke/2011.09-arm-eabi-lite/obj/host-libs-2011.09-69-arm-none-eabi-i686-pc-linux-gnu/usr --with-mpfr=/scratch/jwlemke/2011.09-arm-eabi-lite/obj/host-libs-2011.09-69-arm-none-eabi-i686-pc-linux-gnu/usr --with-mpc=/scratch/jwlemke/2011.09-arm-eabi-lite/obj/host-libs-2011.09-69-arm-none-eabi-i686-pc-linux-gnu/usr --with-ppl=/scratch/jwlemke/2011.09-arm-eabi-lite/obj/host-libs-2011.09-69-arm-none-eabi-i686-pc-linux-gnu/usr --with-host-libstdcxx='-static-libgcc -Wl,-Bstatic,-lstdc++,-Bdynamic -lm' --with-cloog=/scratch/jwlemke/2011.09-arm-eabi-lite/obj/host-libs-2011.09-69-arm-none-eabi-i686-pc-linux-gnu/usr --with-libelf=/scratch/jwlemke/2011.09-arm-eabi-lite/obj/host-libs-2011.09-69-arm-none-eabi-i686-pc-linux-gnu/usr --disable-libgomp --enable-poison-system-directories --with-build-time-tools=/scratch/jwlemke/2011.09-arm-eabi-lite/install/arm-none-eabi/bin --with-build-time-tools=/scratch/jwlemke/2011.09-arm-eabi-lite/install/arm-none-eabi/bin";
static const char thread_model[] = "single";

static const struct {
  const char *name, *value;
} configure_default_options[] = { { NULL, NULL} };
