/* Generated automatically. */
static const char configuration_arguments[] = "/home/paul/arm/src/gcc/configure --target=arm-none-eabi --prefix=/home/paul/arm/install --with-gmp=/home/paul/arm/host-tools --with-mpfr=/home/paul/arm/host-tools --with-mpc=/home/paul/arm/host-tools --with-isl=/home/paul/arm/host-tools --disable-shared --disable-nls --disable-threads --enable-checking=release --enable-languages=c,c++ --with-newlib --with-gnu-as --with-headers=yes --with-gnu-ld --with-native-system-header-dir=/include --with-sysroot=/home/paul/arm/install/arm-none-eabi --with-multilib-list=aprofile,rmprofile --host=arm-linux-gnueabihf --build=arm-linux-gnueabihf --host=arm-linux-gnueabihf --build=arm-linux-gnueabihf --with-pkgversion=gcc";
static const char thread_model[] = "single";

static const struct {
  const char *name, *value;
} configure_default_options[] = { { "cpu", "arm7tdmi" }, { "float", "soft" } };
