10 Jul
2013
10 Jul
'13
5:52 p.m.
On Wed, Jul 10, 2013 at 03:00:14PM +0200, Sylvain Munaut wrote:
Hi,
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(a)gnumonks.org> http://laforge.gnumonks.org/
============================================================================
"Privacy in residential applications is a desirable marketing option."
(ETSI EN 300 175-7 Ch. A6)
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 ...