Neels Hofmeyr d4089f4b07 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		2017-03-31 12:06:13 +00:00
..
fsm-to-dot.py	contrib: add fsm-to-dot.py to draw osmo_fsm dotty graphs	2016-12-09 11:29:06 +00:00
jenkins.sh	jenkins: also test build in separate dir	2017-03-31 12:06:13 +00:00
verify_value_string_arrays_are_terminated.py	contrib: add script to find unterminated value_string arrays	2017-03-16 12:53:50 +00:00