ignore patch if already applied
This commit is contained in:
		
							parent
							
								
									d53b7de5ec
								
							
						
					
					
						commit
						f68721af07
					
				| @ -18,7 +18,7 @@ before_script: | |||||||
|  - mkdir build |  - mkdir build | ||||||
|  - cd build |  - cd build | ||||||
|  - cmake .. $CMAKEOPTIONS |  - cmake .. $CMAKEOPTIONS | ||||||
|  - curl https://gist.githubusercontent.com/DennisOSRM/35b1780f6e3f8f1e3143/raw/35ea1f4041d62f77d0cb0b14b80b089113ed5a75/boost.diff| sudo patch -p0 |  - curl https://gist.githubusercontent.com/DennisOSRM/35b1780f6e3f8f1e3143/raw/35ea1f4041d62f77d0cb0b14b80b089113ed5a75/boost.diff| sudo patch -p0 -N | ||||||
| script: | script: | ||||||
|  - make -j 2 |  - make -j 2 | ||||||
|  - cd .. |  - cd .. | ||||||
|  | |||||||
		Loading…
	
		Reference in New Issue
	
	Block a user