diff options
-rw-r--r-- | config/gdb.conf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config/gdb.conf b/config/gdb.conf index 8ff8a114..91fad567 100644 --- a/config/gdb.conf +++ b/config/gdb.conf @@ -15,7 +15,7 @@ if test x"${build}" != x"${target}"; then case ${host} in *-mingw32*) # For mingw, we have to specify where our mingw version of python is. - default_configure_flags="--with-python=${local_snapshots}/python-2.7.4-mingw32 `echo ${default_configure_flags} | sed -e 's:--enable-tui::'` CFLAGS=-I${local_builds}/destdir/${host}/usr/include LDFLAGS=-L${local_builds}/destdir/${host}/usr/lib" + default_configure_flags="--with-python=${local_snapshots}/infrastructure/python-2.7.4-mingw32 `echo ${default_configure_flags} | sed -e 's:--enable-tui::'` CFLAGS=-I${local_builds}/destdir/${host}/usr/include LDFLAGS=-L${local_builds}/destdir/${host}/usr/lib" ;; *linux*) default_configure_flags="${default_configure_flags} --disable-sim --with-python=yes" |