run debug build on different port

This commit is contained in:
Dennis Luxen 2014-02-14 18:17:00 +01:00
parent 0ee94a5729
commit aedf9d3a91

View File

@ -14,7 +14,10 @@ before_script:
- mkdir build - mkdir build
- cd build - cd build
- cmake .. $CMAKEOPTIONS - cmake .. $CMAKEOPTIONS
script: make -j 2 script:
- make -j 2
# - cd ..
# - cucumber -p verify
after_script: after_script:
- cd .. - cd ..
- cucumber -p verify - cucumber -p verify
@ -27,7 +30,7 @@ cache:
- apt - apt
env: env:
- CMAKEOPTIONS="-DCMAKE_BUILD_TYPE=Release" OSRM_PORT=5000 - CMAKEOPTIONS="-DCMAKE_BUILD_TYPE=Release" OSRM_PORT=5000
- CMAKEOPTIONS="-DCMAKE_BUILD_TYPE=Debug" OSRM_PORT=6000 - CMAKEOPTIONS="-DCMAKE_BUILD_TYPE=Debug" OSRM_PORT=5010
notifications: notifications:
irc: irc:
channels: channels: