diff options
Diffstat (limited to 'lang/gnat-gcc42/Makefile')
-rw-r--r-- | lang/gnat-gcc42/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/lang/gnat-gcc42/Makefile b/lang/gnat-gcc42/Makefile index 904506322bb9..4c279fa5f5be 100644 --- a/lang/gnat-gcc42/Makefile +++ b/lang/gnat-gcc42/Makefile @@ -70,8 +70,7 @@ CONFIGURE_ARGS= --enable-languages="c,ada" \ --with-libiconv-prefix=${LOCALBASE} \ --program-suffix=${gcc_suffix} \ --bindir=${PREFIX}/bin/gcc${gcc_suffix} \ - --libdir=${targlib} \ - --infodir=${PREFIX}/${INFO_PATH}/gcc${gcc_suffix} + --libdir=${targlib} ALL_TARGET= bootstrap-lean MAKE_ENV+= MAKEINFOFLAGS="--no-split" PTHREAD_LIBS=${PTHREAD_LIBS} |