diff options
Diffstat (limited to 'toolchain/glibc/patches/make-mixed.patch')
| -rw-r--r-- | toolchain/glibc/patches/make-mixed.patch | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/toolchain/glibc/patches/make-mixed.patch b/toolchain/glibc/patches/make-mixed.patch new file mode 100644 index 000000000..7691eda95 --- /dev/null +++ b/toolchain/glibc/patches/make-mixed.patch @@ -0,0 +1,15 @@ +diff -Nur glibc-2.12.1.orig/manual/Makefile glibc-2.12.1/manual/Makefile +--- glibc-2.12.1.orig/manual/Makefile 2010-07-27 13:34:39.000000000 +0200 ++++ glibc-2.12.1/manual/Makefile 2010-11-07 18:24:27.000000000 +0100 +@@ -232,7 +232,10 @@ + .PHONY: stubs + stubs: $(objpfx)stubs + endif +-$(objpfx)stubs ../po/manual.pot $(objpfx)stamp%: ++$(objpfx)stubs ../po/manual.pot: ++ touch $@ ++ ++$(objpfx)stamp%: + $(make-target-directory) + touch $@ + |