diff options
Diffstat (limited to 'util/crossgcc/patches/gdb-7.6_no-texinfo.patch')
-rw-r--r-- | util/crossgcc/patches/gdb-7.6_no-texinfo.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/util/crossgcc/patches/gdb-7.6_no-texinfo.patch b/util/crossgcc/patches/gdb-7.6_no-texinfo.patch new file mode 100644 index 0000000000..ac9241c921 --- /dev/null +++ b/util/crossgcc/patches/gdb-7.6_no-texinfo.patch @@ -0,0 +1,14 @@ +diff -ur gdb-7.6.orig/missing gdb-7.6/missing +--- gdb-7.6.orig/missing 2009-08-22 04:48:33.000000000 -0700 ++++ gdb-7.6/missing 2013-07-10 13:10:32.940902728 -0700 +@@ -314,8 +314,8 @@ + fi + # If the file does not exist, the user really needs makeinfo; + # let's fail without touching anything. +- test -f $file || exit 1 +- touch $file ++ #test -f $file || exit 1 ++ #touch $file + ;; + + tar*) |