diff options
Diffstat (limited to 'contrib/test_summary')
| -rwxr-xr-x | contrib/test_summary | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/contrib/test_summary b/contrib/test_summary index 3632164fe7f..a1bf474d7eb 100755 --- a/contrib/test_summary +++ b/contrib/test_summary @@ -95,6 +95,12 @@ BEGIN { '${prepend_logs+" system(\"cat $prepend_logs\"); "}' } $1 ~ /\/configure$/ { + srcdir = $1; + gsub(/\/configure$/, "", srcdir); + printf "LAST_UPDATED: "; + system("tail -1 " srcdir "/LAST_UPDATED"); + print ""; + $1 = "configure flags:"; configflags = $0; gsub(/--with-gcc-version-trigger=[^ ]* /, "", configflags); gsub(/ --norecursion/, "", configflags) |