diff options
| author | Jakub Bogusz | 2008-08-23 10:19:42 (GMT) |
|---|---|---|
| committer | cvs2git | 2012-06-24 12:13:13 (GMT) |
| commit | 9bb5db3ebef245c3f6248752869fe9ca7748aa3b (patch) | |
| tree | 7a17b7bcf9fca755a9568e0db22d700cca886b5d | |
| parent | 0826927f2fa993882cf706f83140b2e05da62916 (diff) | |
| download | crossmingw32-boost-9bb5db3ebef245c3f6248752869fe9ca7748aa3b.zip crossmingw32-boost-9bb5db3ebef245c3f6248752869fe9ca7748aa3b.tar.gz | |
- updated for 1.36.0
Changed files:
crossmingw32-boost-win.patch -> 1.4
| -rw-r--r-- | crossmingw32-boost-win.patch | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/crossmingw32-boost-win.patch b/crossmingw32-boost-win.patch index ca94db3..07f2949 100644 --- a/crossmingw32-boost-win.patch +++ b/crossmingw32-boost-win.patch @@ -35,14 +35,14 @@ } if [ os.name ] != NT && [ os.name ] != OSF && [ os.name ] != HPUX { ---- boost_1_34_0/tools/build/v2/user-config.jam.old 2007-06-16 15:41:42.129475139 +0200 -+++ boost_1_34_0/tools/build/v2/user-config.jam 2007-06-16 15:41:48.558494352 +0200 -@@ -18,7 +18,7 @@ - # GCC configuration +--- boost_1_36_0/tools/build/v2/user-config.jam.orig 2008-07-15 15:53:41.000000000 +0200 ++++ boost_1_36_0/tools/build/v2/user-config.jam 2008-08-23 09:29:58.862617801 +0200 +@@ -40,7 +40,7 @@ + # ------------------ - # Configure gcc (default version) --# using gcc ; + # Configure gcc (default version). +-# using gcc ; +using gcc : : i386-mingw32-g++ : ; - # Configure specific gcc version, giving alternative name to use - # using gcc : 3.2 : g++-3.2 ; + # Configure specific gcc version, giving alternative name to use. + # using gcc : 3.2 : g++-3.2 ; |