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 <[email protected]> http://laforge.gnumonks.org/ ============================================================================ "Privacy in residential applications is a desirable marketing option." (ETSI EN 300 175-7 Ch. A6)
