tool_chain: fix GCC build with makeinfo 5

Issue #1051.
2014-04-21 23:41:35 +02:00 · 2014-04-21 23:41:35 +02:00 · 776d7f947f
parent d4bf55a308
commit 776d7f947f
3 changed files with 1 additions and 1 deletions
--- a/repos/ports/ports/gcc.mk
+++ b/repos/ports/ports/gcc.mk
@ -59,7 +59,6 @@ $(CONTRIB_DIR)/$(GCC)/configure:: $(CONTRIB_DIR)/$(GCC)
 	@# Noux-specific changes
 	@#
 	$(VERBOSE)patch -d $(CONTRIB_DIR)/$(GCC) -N -p1 < src/noux-pkg/gcc/build.patch
-	$(VERBOSE)patch -d $(CONTRIB_DIR)/$(GCC) -N -p1 < src/noux-pkg/gcc/build_with_makeinfo_5.patch

 clean-gcc:
 	$(VERBOSE)rm -rf $(CONTRIB_DIR)/$(GCC)
--- a/repos/ports/src/noux-pkg/gcc/build_with_makeinfo_5.patch
+++ b/repos/ports/src/noux-pkg/gcc/build_with_makeinfo_5.patch
--- a/tool/patches/gcc-4.7.2/series
+++ b/tool/patches/gcc-4.7.2/series
@ -8,3 +8,4 @@ cpp_for_target.patch
 no_short_enums.patch
 host_target_combination.patch
 pic_cxxflags.patch
+makeinfo5.patch