History log of /seL4-l4v-10.1.1/HOL4/developers/git-regression-build.sh
Revision Date Author Comments
# 2d440d1d 20-Jun-2017 Michael Norrish <michael.norrish@nicta.com.au>

Fix git-regression-build so that output is copied to build-log file


# 8fc1fcf6 20-Jun-2017 Michael Norrish <Michael.Norrish@nicta.com.au>

Use git clean in regression build to get rid of more stuff

build cleanAll is all very well, but it may miss things, and I do want
to test the build from a clean state.


# 8ed6d3a0 29-Jan-2017 Michael Norrish <michael.norrish@nicta.com.au>

Fix regression test script for changes to build c/line options


# 132dfc99 11-Feb-2014 Michael Norrish <michael.norrish@nicta.com.au>

Attempt to make regression test shell-script a bit more robust.


# 2733fced 28-Aug-2013 Michael Norrish <michael.norrish@nicta.com.au>

Pass parameters within regression-build so that selftest levels work


# 6c7b3d53 28-Aug-2013 Michael Norrish <michael.norrish@nicta.com.au>

Attempt to make regression tests fail gracefully if they overlap.


# 38b0a64e 30-Jan-2013 Michael Norrish <michael.norrish@nicta.com.au>

Put selftest information into regression test message subject lines.


# bd2614e4 18-Sep-2012 Michael Norrish <michael.norrish@nicta.com.au>

Allow -otknl as a kernel spec in git-regression-build.sh


# eb3fab84 23-Jul-2012 Michael Norrish <Michael.Norrish@nicta.com.au>

Update regression build script to dump output of failed git pull


# a50753d8 31-Aug-2011 Michael Norrish <Michael.Norrish@nicta.com.au>

Use explicit log --pretty formats to better control output.

This gets around use of full 40 character SHA-1 hashes on git 1.5


# 91564d56 30-Aug-2011 Michael Norrish <Michael.Norrish@nicta.com.au>

Fix git-regression-build for older versions of git.

The --oneline option to log has to be --pretty=oneline for git 1.5.


# f07a6d3f 18-Aug-2011 Michael Norrish <Michael.Norrish@nicta.com.au>

Slight recasting of regression build shell script.

Previous version may have given me an odd looking shell syntax error.
This version ran successfully.


# fc6e4fab 18-Aug-2011 Michael Norrish <Michael.Norrish@nicta.com.au>

Update git-regression-build script now that we're on 'pure git'.


# 60fff59f 08-Sep-2010 Ramana Kumar <ramana.kumar@gmail.com>

Added git version of regression-build.sh

For use in a git-svn clone of the HOL repo.