#
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.
|