]> git.pld-linux.org Git - packages/boost.git/commitdiff
- removed outdated patch
authorJan Rękorajski <baggins@pld-linux.org>
Mon, 8 Jul 2013 05:06:03 +0000 (07:06 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Mon, 8 Jul 2013 05:06:03 +0000 (07:06 +0200)
boost-bjam-workaround.patch [deleted file]

diff --git a/boost-bjam-workaround.patch b/boost-bjam-workaround.patch
deleted file mode 100644 (file)
index a9e8dda..0000000
+++ /dev/null
@@ -1,11 +0,0 @@
---- boost_1_46_1/tools/build/v2/build/configure.jam.orig       2010-11-17 00:02:36.000000000 +0100
-+++ boost_1_46_1/tools/build/v2/build/configure.jam    2011-03-22 19:00:43.809098710 +0100
-@@ -142,7 +142,7 @@
-         {           
-             local x = [ PAD "    - $(what)" : $(.width) ] ;            
-             if [ UPDATE_NOW $(jam-targets) :
--                 $(.log-fd) : ignore-minus-n : ignore-minus-q ] 
-+                 $(.log-fd) : ignore-minus-n ] 
-             {
-                 .$(what)-supported.$(ps) = yes ;
-                 result = true ;
This page took 0.16331 seconds and 4 git commands to generate.