# This is a shell archive.  Save it in a file, remove anything before
# this line, and then unpack it by entering "sh file".  Note, it may
# create directories; files and directories will be owned by you and
# have default permissions.
#
# This archive contains:
#
#	files/patch-mkoctfile.in
#
echo x - files/patch-mkoctfile.in
sed 's/^X//' >files/patch-mkoctfile.in << '97ba0e320756a451e6ab7e735c1c9483'
X--- mkoctfile.in-orig	2008-08-27 17:46:53.000000000 -0500
X+++ mkoctfile.in	2008-08-27 17:47:45.000000000 -0500
X@@ -278,7 +278,7 @@
X     -D*)
X       defs="$defs $1"
X     ;;
X-    -[lLR]* | -Wl,*)
X+    -[lLR]* | -pthread | -Wl,*)
X       ldflags="$ldflags $1"
X     ;;
X     -M | --depend)
97ba0e320756a451e6ab7e735c1c9483
exit