tree 57aaef56566c02865c406a8c1fe74a620867f66a
parent d78c973cd89fc7c119573357cfbebb891dbc697a
author Neels Hofmeyr <nhofmeyr@sysmocom.de> 1488921695 +0100
committer Neels Hofmeyr <nhofmeyr@sysmocom.de> 1490961973 +0000

jenkins: also test build in separate dir

To make sure that new patches don't break a build done in another dir than
srcdir, make jenkins verify that it still works.

Even though 'make distcheck' also tests a build from a separate dir, this does
not verify that BUILT_SOURCES are generated properly. If these already exist in
the source tree from a previous 'make' issued in the source tree, the
BUILT_SOURCES are not regenerated during 'make distcheck'. Hence a separate
test run is necessary to ensure stability of new patches.

Change-Id: I4b31538c155941fd241bcd33b0d39f2f8491ac1e