chiark / gitweb /
~ianmdlvl / fdroidserver.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: f586161 2ea38fa)
Merge branch 'jenkins-makebuildserver-works' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 8 Feb 2016 16:07:27 +0000 (16:07 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 8 Feb 2016 16:07:27 +0000 (16:07 +0000)
commita26a057b90620c35653cbfa9bc4c750697059f3a
treec2cf38491ac88e740a7d497556cbce07dddd17abtree | snapshot
parentf58616136176919d5f81bb9f749f231d9efd1357commit | diff
parent2ea38fa7e3eb18a8d8e1d898a2fbbccd09240c43commit | diff
Merge branch 'jenkins-makebuildserver-works' into 'master'

Jenkins ./makebuildserver works!

These commits get `./makebuildserver` running in a Jenkins job. It builds the whole setup from scratch every time, including the vagrant and virtualbox setups.

Also, this modifies the git pre-commit hook to only run on the files being committed when called by git.

See merge request !95
Unnamed repository; edit this file 'description' to name the repository.