summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-07-14 17:11:40 (GMT)
committerYann E. MORIN" <yann.morin.1998@anciens.enib.fr>2010-07-14 17:11:40 (GMT)
commit9d82ae62976dfaa9dc9762fe76a0dad9f3ef6c6a (patch)
treef83352c33840fa3c9959a066f385fac519ded3bd
parent8258ad7bcf79a07ca26aab4563c5927a94b1b4c3 (diff)
parent6c7440cd4b2c31d96771b2ce94d65aea76f96423 (diff)
Merge.
-rw-r--r--patches/ppl/0.10.2/100-update-for-mingw-build.patch19
1 files changed, 0 insertions, 19 deletions
diff --git a/patches/ppl/0.10.2/100-update-for-mingw-build.patch b/patches/ppl/0.10.2/100-update-for-mingw-build.patch
deleted file mode 100644
index 5795257..0000000
--- a/patches/ppl/0.10.2/100-update-for-mingw-build.patch
+++ /dev/null
@@ -1,19 +0,0 @@
---- ppl-0.10.2/configure 2010-03-19 07:44:26.000000000 +0100
-+++ ppl-0.10.2-new/configure 2010-03-19 19:25:02.000000000 +0100
-@@ -15603,11 +15603,12 @@
- found_la="$additional_libdir/lib$name.la"
- fi
- else
-- if test -f "$additional_libdir/lib$name.$libext"; then
-+ post=${shlibext:+.${shlibext}}
-+ if test -f "$additional_libdir/lib$name$post.$libext"; then
- found_dir="$additional_libdir"
-- found_a="$additional_libdir/lib$name.$libext"
-- if test -f "$additional_libdir/lib$name.la"; then
-- found_la="$additional_libdir/lib$name.la"
-+ found_a="$additional_libdir/lib$name$post.$libext"
-+ if test -f "$additional_libdir/lib$name$post.la"; then
-+ found_la="$additional_libdir/lib$name$post.la"
- fi
- fi
- fi