jrl-umi3218/jrl-travis — pull request #8 by gergondet (2014-02-10 09:09:01+00:00)
Title: Try to do make if make install failed

Usefull in case the install target does not exist