patch boost the correct way

This commit is contained in:
Dennis Luxen 2014-05-02 12:39:39 +02:00
parent b25f3891c8
commit d53b7de5ec

View File

@ -18,7 +18,7 @@ before_script:
- mkdir build
- cd build
- cmake .. $CMAKEOPTIONS
- curl https://gist.githubusercontent.com/DennisOSRM/35b1780f6e3f8f1e3143/raw/f8695c9f352850557838fa5f5f5a03b3812fdb22/boost.diff|patch -p
- curl https://gist.githubusercontent.com/DennisOSRM/35b1780f6e3f8f1e3143/raw/35ea1f4041d62f77d0cb0b14b80b089113ed5a75/boost.diff| sudo patch -p0
script:
- make -j 2
- cd ..