Work out of source - Githubissues

jrl-umi3218 / jrl-travis

Travis build scripts

Other

7 stars 10 forks source link

Closed gergondet closed 10 years ago

gergondet commented 10 years ago

Set build/install dir out of source directory even when building not for debian

Avoid some side-effects of in-source build such as checking too much code with cppcheck

thomas-moulard commented 10 years ago

:+1: merging.