10 Jul
2013
10 Jul
'13
5:52 p.m.
On Wed, Jul 10, 2013 at 03:00:14PM +0200, Sylvain Munaut wrote:
Hi,
Maybe consider running 'make check' in a pre-receive hook on the server.
Not so easy ... it's not good practice to just allow anyone with push privilege to execute code on the server like that. So a good system with proper separation etc ... would be non-trivial. Also, this would slow down pushes to a crawl since you'd need to actually build the thing and its dependencies ...
as an alternative, offer something like check_patch.pl of Linux kernel to the developer, but which not only checks for indentation/coding style but whihc also does the 'make check'. More reasonable and no load/security on the server.
--
- Harald Welte laforge@gnumonks.org http://laforge.gnumonks.org/
============================================================================
"Privacy in residential applications is a desirable marketing option."
(ETSI EN 300 175-7 Ch. A6)