jrl-umi3218/jrl-travis — pull request #9 by gergondet (2014-02-12 08:09:49+00:00)
Title: Work out of source

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